Integrity Checking in Deductive Data Bases.

Jean-Marie Nicolas Kioumars Yazdanian

Published in: Logic and Data Bases (1977)

Keyphrases

integrity checking
integrity constraints
databases
deductive databases
hard and soft constraints
semantic query optimization
object oriented
constraint logic programming
database systems
database
data mining
relational databases
search space
data model
query answering