Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting.
Georgios KourtisIan Pratt-HartmannPublished in: CoRR (2016)
Keyphrases
- functional dependencies
- inclusion dependencies
- relational databases
- normal form
- integrity constraints
- database design
- relational model
- conflict free
- database schemes
- data dependencies
- universal relation
- logical implication
- xml documents
- horn theories
- user defined
- approximate functional dependencies
- databases
- query answering
- database schema
- answering queries using views
- deductive databases
- entity relationship
- relational algebra
- data model
- case study