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