Sciweavers

2299 search results - page 155 / 460
» Logical Data Expiration
Sort
View
IPPS
1997
IEEE
15 years 8 months ago
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...
Gopal Gupta, Enrico Pontelli
ICDT
1997
ACM
89views Database» more  ICDT 1997»
15 years 8 months ago
On Topological Elementary Equivalence of Spatial Databases
We consider spatial databases and queries definable using first-order logic and real polynomial inequalities. We are interested in topological queries: queries whose result only ...
Bart Kuijpers, Jan Paredaens, Jan Van den Bussche
NGITS
1997
Springer
15 years 8 months ago
Maintaining Information Resources
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
Sofus A. Macskassy, Leon A. Shklar
BDA
2006
15 years 5 months ago
Capturing well typed references in DTDs
Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simp...
Nicole Bidoit, Dario Colazzo
JANCL
2006
123views more  JANCL 2006»
15 years 3 months ago
Approximate databases: a support tool for approximate reasoning
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
Patrick Doherty, Martin Magnusson, Andrzej Szalas