Login / Signup
First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract).
Maarten H. van Emden
Published in:
LICS (1987)
Keyphrases
</>
functional programming
execution model
quantifier elimination
functional language
relational databases
programming language
object oriented programming
data model
data warehouse
theorem proving
high level
multi dimensional
query execution