Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting.
Georgios KourtisIan Pratt-HartmannPublished in: Log. Methods Comput. Sci. (2017)
Keyphrases
- functional dependencies
- inclusion dependencies
- integrity constraints
- database design
- relational databases
- normal form
- data dependencies
- relational model
- database schemes
- database schema
- conflict free
- query answering
- logical implication
- approximate functional dependencies
- user defined
- xml documents
- horn theories
- cardinality constraints
- database systems
- database
- databases
- universal relation
- deductive databases
- object oriented
- nested relations
- knowledge base
- entity relationship
- logic programs
- xml keys
- relational database theory
- xml data