Parallel Reasoning of Graph Functional Dependencies.
Wenfei FanXueli LiuYingjie CaoPublished in: ICDE (2018)
Keyphrases
- functional dependencies
- integrity constraints
- database design
- relational databases
- relational model
- database schemes
- normal form
- inclusion dependencies
- data dependencies
- conflict free
- xml documents
- knowledge base
- structured data
- logical implication
- entity relationship
- universal relation
- multivalued dependencies
- cardinality constraints
- deductive databases
- database schema
- user defined
- automated reasoning
- horn theories
- approximate functional dependencies
- knowledge representation
- data model
- set of functional dependencies
- answering queries using views
- databases
- theorem proving
- desirable properties
- database systems