Integrity Checking in a Logic-Oriented ER Model.

Ryohei Nakano Integrity Checking in a Logic-Oriented ER Model. 551-564 1983 ER db/conf/er/er83.html#Nakano83 conf/er/83 er83/ER83-P551.pdf db/conf/er/Nakano83.html journals/csur/AllenLM82 journals/tods/AstrahanBCEGGKLMMPTWW76 conf/vldb/BernsteinBC80 ... conf/adbt/Chang77 journals/tods/Chen76 persons/Codd72 journals/tods/Codd79 conf/sigmod/Codd80 ... conf/vldb/HammerM75 conf/sigmod/McLeod80 conf/sigmod/Mylopoulos80a ... journals/tods/SmithS77 conf/sigmod/GoSW75 conf/adbt/Reiter77 ...