An Algebraic Approach to Functional-Dependency Semantics for First-Order Languages.
Janis CirulisPublished in: Balt. J. Mod. Comput. (2016)
Keyphrases
- functional dependencies
- conflict free
- relational databases
- integrity constraints
- horn theories
- normal form
- relational schema
- database design
- relational operators
- null values
- data transformation
- relational model
- approximate functional dependencies
- logical formulas
- inclusion dependencies
- database schemes
- data dependencies
- algebraic operations
- expressive power
- bayes net
- logic programming
- databases
- set of functional dependencies
- relational algebra
- aggregate functions
- first order logic
- relational calculus
- relational queries
- conceptual schema
- data model
- xml documents
- transformation rules
- database systems
- entity relationship