Login / Signup
On the Integrity of Typed First Order Data Bases.
Raymond Reiter
Published in:
Advances in Data Base Theory (1979)
Keyphrases
</>
higher order
databases
first order logic
lambda calculus
data base management
predicate calculus
quantifier elimination
database systems
database
information systems
integrity constraints
decision trees
data structure
knowledge discovery
data integrity
term rewriting
stochastic dominance
machine learning
real world