Multi-Level Semantics with Vertical Integrity Constraints.
Alison R. PanissonRafael H. BordiniAntônio Carlos da Rocha CostaPublished in: ECAI (2016)
Keyphrases
- integrity constraints
- active rules
- conceptual schema
- null values
- consistent query answering
- integrity checking
- functional dependencies
- deductive databases
- constraint language
- correctness criterion
- logical rules
- database transactions
- inclusion dependencies
- query answering
- inconsistent databases
- constraint checking
- conjunctive queries
- schema integration
- database integrity
- database schema
- logic rules
- database systems
- databases
- query containment
- consistent answers
- logic programming
- object oriented
- xml documents