Computational Adequacy of the FIX-Logic.

Published in: Theor. Comput. Sci. (1994)

Keyphrases

computational properties
decision making
logic programming
classical logic
database
data sets
databases
information retrieval
information systems
case study
data model
expressive power