Equational Theories and Database Constraints

Stavros S. Cosmadakis Paris C. Kanellakis

Published in: STOC (1985)

Keyphrases

database
equational theories
databases
database systems
data sets
relational databases
data model
data management
query language
constrained optimization
linear constraints
knowledge base
database management systems
constraint programming
theorem proving
database queries