Sets and Negation in a Logic Database Language (LDL1).

Catriel Beeri Shamim A. Naqvi Raghu Ramakrishnan Oded Shmueli Shalom Tsur

Published in: PODS (1987)

Keyphrases

database language
deductive databases
logic programming
programming language
relational databases
truth values
horn clauses
logic programs
data model
database schema
expressive power
knowledge discovery
artificial intelligence
databases
data management
database
management system
stored procedures