Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases.

Lawrence J. Henschen Shamim A. Naqvi

Published in: CADE (1982)

Keyphrases

databases
horn clauses
database
np hard
horn theories
hidden markov models
relational databases
data model
data warehouse
function free horn
biological sequences
sequence alignment
functional dependencies
first order logic
data management
knowledge base
information systems
data sets