Trace Consistency and Inevitablity.

Ramaswamy Ramanujam

Published in: FSTTCS (1996)

Keyphrases

consistency checking
maintaining consistency
database
databases
genetic algorithm
information systems
feature selection
management system
path consistency
execution traces