Uma Máquina Extensível para Suporte a Novos Modelos de Execução de Consultas.

Fausto V. M. Ayres Fábio Porto Rubens N. Melo

Published in: SBBD (2003)

Keyphrases

formal semantics
databases
knowledge base
theorem prover
expert systems
modeling language
first order logic
life cycle
temporal logic