Login / Signup
First order predicates in a strongly typed database programming language: the DBPL experience.
Joachim W. Schmidt
Published in:
BDA (1988)
Keyphrases
</>
database programming language
strongly typed
programming language
horn clauses
query language
complex objects
first order logic
type checking
data structure
general purpose
user defined
data mining
data model
software engineering