Two Applications of Equational Theories to Database Theory.

Stavros S. Cosmadakis Paris C. Kanellakis

Published in: RTA (1985)

Keyphrases

database theory
equational theories
open problems
normal form
databases
theorem proving
function symbols
decomposition methods
conjunctive queries
database design
international conference
relational database management systems
relational databases
finite model theory
database applications
fuzzy logic
data sources