152 search results - page 15 / 31 » Semantic Integrity Constraints for Spatial Databases |
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
122
click to vote
JAPLL
2010
14 years 10 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
109
click to vote
ER
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Databases are continuously evolving environments, where design constructs are added, removed or updated quite often. Research has extensively dealt with the problem of database evo...
TACAS
1999
Springer
15 years 4 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...