Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas.
Anna FormicaPublished in: IEEE Trans. Knowl. Data Eng. (2002)
Keyphrases
- database schema
- integrity constraints
- object oriented
- high level specifications
- deductive databases
- entity relationship
- functional dependencies
- sql queries
- conjunctive queries
- query answering
- decision procedures
- xml documents
- schema evolution
- np complete
- data dependencies
- object oriented databases
- relational schema
- consistent query answering
- database
- user defined
- data model
- relational databases