Specifying Semantics of Evolution in Object-Oriented Databases Using Partial Deduction.

Published in: FMLDO (1992)

Keyphrases

partial deduction
logic programs
schema evolution
logic programming
object oriented databases
formal semantics
model theoretic
schema mappings
evolution process
proof theory
logical language
semantic information
real time
genetic algorithm
databases
temporal evolution
data sets