1.4.3 Система аксиом (правила, ограничения).

1. Каждый клиент однозначно идентифицируется ИдКлиента

2. Каждая карта однозначно идентифицируется НомеромКарты

3. Каждый счет однозначно идентифицируется НомеромСчета

4. Каждый тип карты однозначно идентифицируется ИдТипаКарты

5. Каждый банк однозначно идентифицируется ИдБанка

6. Каждая торговая точка однозначно идентифицируется ИдТоргТочки

7. Каждая транзакция однозначно идентифицируется НомеромТранзакции

8. Каждый клиент может владеть несколькими картами

9. Каждая карта обязательно имеет одного владельца.

10. Каждый клиент может обладать несколькими счетами

11. Каждый счет обязательно имеет одного владельца.

12. Каждый счет может быть ассоциирован с несколькими картами

13. Каждая карта обязательно связана с одним счетом.

14. Каждый тип карты может быть связан со многими картами

15. Каждая карта обязательно имеет один тип карты

16. Каждый банк может выпускать несколько типов карт

17. Каждый тип карты обязательно выпущен одним банком

18. В каждом банке может быть открыто много счетов

19. Каждый счет обязательно открыт в одном банке

20. В каждом банке может быть закрыто много счетов

21. Каждый счет может быть закрыт только в одном банке

22. По каждой карте может проходить много транзакций

23. Каждая транзакция обязательно проходит по одной карте

24. Каждый счет может быть связан со многими транзакциями

25. Каждая транзакция обязательно связана с одним счетом

26. В каждую дату может быть несколько транзакций

27. Каждая транзакция обязательно происходит в одну дату

28. Каждая транзакция является либо внесением денег, либо снятием денег, либо совершением оплаты, но обязательно одним из них.

29. Через каждую торговую точку может проходить много операций оплаты