An Experimental Relational Data Base System Based on Logic.

Published in: Logic and Data Bases (1977)

Keyphrases

modal logic
predicate logic
logic programming
sound and complete axiomatization
multi valued
database systems
similarity measure
knowledge base
information systems
data sets
computational properties
real world
asynchronous circuits
linear logic
proof theory
logical operations
intuitionistic logic
neural network