3319 search results - page 123 / 664 » Type Theoretical Databases |
MFCS
2005
Springer
15 years 3 months ago
2005
Springer
This paper analyses the computational complexity of the model checking problem for Higher Order Fixpoint Logic – the modal µ-calculus enriched with a typed λ-calculus. It is ha...
MFCS
2004
Springer
15 years 3 months ago
2004
Springer
In learning theory and genetic programming, OBDDs are used to represent approximations of Boolean functions. This motivates the investigation of the OBDD complexity of approximatin...
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
106
click to vote
PARCO
1997
14 years 11 months ago
1997
During the last decade, all commercial database systems have included features for parallel processing into their products. This development has been driven by the fact that datab...
172
click to vote
PODS
2009
ACM
15 years 10 months ago
2009
ACM
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...