Extending Datalog with Arrays.

Sergio Greco Luigi Palopoli Eugenio Spadafora

Published in: Data Knowl. Eng. (1995)

Keyphrases

expressive power
deductive databases
query language
logic programming
query answering
datalog programs
database languages
computer vision
transitive closure
existentially quantified
neural network
real world
high level
special case
integrity constraints