Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version).
Alessandro ArtaleEnrico FranconiPublished in: CoRR (2016)
Keyphrases
- functional dependencies
- logical implication
- normal form
- relational databases
- null values
- database design
- integrity constraints
- user defined
- relational model
- database schemes
- data dependencies
- description logics
- xml documents
- approximate functional dependencies
- conflict free
- entity relationship
- database schema
- database
- universal relation
- set of functional dependencies
- answering queries
- cardinality constraints
- automated reasoning
- refinement operators
- relational data model
- inclusion dependencies
- deductive databases
- horn theories
- data streams