27 search results - page 6 / 6 » Querying and repairing inconsistent numerical databases |
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
CAD
1998
Springer
13 years 4 months ago
1998
Springer
The goal of this paper is to bring together the worlds of design and active databases. Design databases have to provide a powerful data model for complex structured design data as ...