Sciweavers

DEXA
2000
Springer
76views Database» more  DEXA 2000»
14 years 3 months ago
Semantic Verification of Rule-Based Systems with Arithmetic Constraints
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
Jaime Ramírez, Angélica de Antonio
DEXA
2000
Springer
83views Database» more  DEXA 2000»
14 years 3 months ago
Optimizing Queries in Extended Relational Databases
Michael J. Maher, Junhu Wang
DEXA
2000
Springer
99views Database» more  DEXA 2000»
14 years 3 months ago
The BORD Benchmark for Object-Relational Databases
This paper describes a new benchmark for object-relational DBMSs, the Benchmark for Object-Relational Databases (BORD). BORD has been developed to evaluate system performance pecul...
Sang Ho Lee, Sung Jin Kim, Won Kim
DEXA
2000
Springer
109views Database» more  DEXA 2000»
14 years 3 months ago
Knowledge Decay in a Normalised Knowledge Base
Knowledge ‘decay’ is a measure of the degradation of knowledge integrity. In a unified knowledge representation, data, information and knowledge are all represented in a single...
John K. Debenham
DEXA
2000
Springer
95views Database» more  DEXA 2000»
14 years 3 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
DEXA
2000
Springer
98views Database» more  DEXA 2000»
14 years 3 months ago
Optimal Page Ordering for Region Queries in Static Spatial Databases
Page ordering is to define the order of pages in one-dimensional storage for storing two-dimensional spatial data to reduce the number of disk seeks. Previous works relating to pag...
Daesoo Cho, Bonghee Hong
DEXA
2000
Springer
82views Database» more  DEXA 2000»
14 years 3 months ago
A Qualitative Formalization of Built Environments
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...
Thomas Bittner
DEXA
2000
Springer
100views Database» more  DEXA 2000»
14 years 3 months ago
Contextualization of OODB Schemas in CROME
View mechanisms, widely used in the relational databases, pose new questions in the object model which captures much more semantics. In this paper, we will focus on inheritance and...
Olivier Caron, Bernard Carré, Laurent Debra...