Using Logic Databases in Software Development Environments.

Patrizia Asirelli Paola Inverardi

Published in: PLILP (1988)

Keyphrases

databases
software development environments
closed world assumptions
database
database systems
knowledge discovery
data management
database applications
software engineering
classical logic
metadata
relational databases
management system
distributed systems
modal logic