On the Complexity of the First-order Random Theory.

Wafik Boulos Lotfallah

Published in: J. Log. Comput. (2003)

Keyphrases

theoretical framework
databases
theoretical basis
case study
information systems
computational complexity
computational cost
probability distribution
worst case
domain theory
theory revision
formal theory