Login / Signup
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations.
Wamberto Weber Vasconcelos
Norbert E. Fuchs
Published in:
LOPSTR (1995)
Keyphrases
</>
data model
databases
logic programming
genetic algorithm
modal logic
classical logic
xml schema
multi valued
computational properties
sound and complete axiomatization
asynchronous circuits
transformation rules
logical framework
database schema
set theory
xpath queries
xml data
data warehouse
data mining