Implication of Functional Dependencies for Recursive Queries.
José R. ParamáNieves R. BrisaboaMiguel R. PenabadÁngeles Saavedra PlacesPublished in: Ershov Memorial Conference (2003)
Keyphrases
- functional dependencies
- recursive queries
- relational algebra
- normal form
- relational model
- transitive closure
- relational databases
- query optimization
- database design
- integrity constraints
- database theory
- query language
- semi structured data
- xml documents
- expressive power
- datalog programs
- logical implication
- conflict free
- fixpoint
- data dependencies
- database schema
- user defined
- xml data
- database systems
- first order logic
- structured data
- deductive databases
- data model
- nested relations
- relational database systems
- query containment
- cardinality constraints
- data structure
- semi structured
- multivalued dependencies
- conjunctive queries