Integrity Constraints for Logic Databases.
Patrizia AsirelliMichele de SantisMaurizio MartelliPublished in: J. Log. Program. (1985)
Keyphrases
- integrity constraints
- databases
- inclusion dependencies
- null values
- active rules
- deductive databases
- database integrity
- functional dependencies
- integrity checking
- logical rules
- federated databases
- query answering
- database
- database schema
- relational databases
- conjunctive queries
- constraint checking
- constraint language
- database systems
- xml documents
- data sources
- foreign key
- schema integration
- modal logic
- data model
- database applications
- database transactions
- logic programming
- inconsistent databases
- predicate logic
- data management
- multi dimensional