Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints.
Robert DemolombeAndrew J. I. JonesJosé CarmoPublished in: ECSQARU-FAPR (1997)
Keyphrases
- integrity constraints
- logical representation
- deductive databases
- integrity checking
- constraint checking
- abductive reasoning
- functional dependencies
- inclusion dependencies
- database integrity
- database schema
- query answering
- database transactions
- xml documents
- conjunctive queries
- bayesian networks
- consistent query answering
- reasoning tasks