A simple rewrite notion for call-time choice semantics.

Francisco Javier López-Fraguas Juan Rodríguez-Hortalá Jaime Sánchez-Hernández

Published in: PPDP (2007)

Keyphrases

real time
databases
formal semantics
artificial intelligence
case study
expert systems
relational databases