5482 search results - page 465 / 1097 » Logic Programming and Databases |
177
click to vote
DEXAW
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a framework for the management of multiple representations of georeferenced elements in a GIS environment. This solution is presented from a database perspecti...
237
click to vote
ADBIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
188
click to vote
DEXA
2010
Springer
15 years 7 months ago
2010
Springer
We consider the containment problem for conjunctive queries with atomic negation. Firstly, we refine an existing algorithm based on homomorphism checks, which itself improves other...
208
click to vote
APIN
2002
15 years 7 months ago
2002
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
177
click to vote
ICALP
2004
Springer
16 years 18 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...