Includes supplementary material: sn.pub/extras
Dietmar Seipel
LA complexity database database design database management database queries finite model theory formal logics information agents information systems knowledge-based systems logic modeling programming web databases