Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives.
Stepan L. KuznetsovPublished in: FG (2013)
Keyphrases
- normal form
- relational calculus
- disjunctive normal form
- sequent calculus
- relational algebra
- database design
- relational databases
- functional dependencies
- information content
- inference rules
- nested relations
- context free grammars
- linear logic
- data dependencies
- case study
- null values
- modal logic
- truth values
- prime implicates
- boolean expressions
- database
- data warehouse
- database systems
- relational database theory