1008 search results - page 78 / 202 » Logic and Databases |
IJCAI
1997
13 years 9 months ago
1997
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a...
SIGMOD
2005
ACM
14 years 1 months ago
2005
ACM
There is a class of data, including messages and business workflow state, for which conventional monolithic databases are less than ideal. Performance and scalability of Applicati...
ADBIS
2004
Springer
13 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...
ICDE
2002
IEEE
14 years 23 days ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
DEXAW
1996
IEEE
13 years 12 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...