Sciweavers

160 search results - page 24 / 32
» Language Extensions for the Automation of Database Schema Ev...
Sort
View
ER
2007
Springer
130views Database» more  ER 2007»
15 years 3 months ago
Towards Automated Reasoning on ORM Schemes
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
Mustafa Jarrar
SIGMOD
2008
ACM
164views Database» more  SIGMOD 2008»
15 years 10 months ago
Relational-style XML query
We study the problem of querying relational data embedded in XML. Relational data can be represented by various tree structures in XML. However, current XML query methods, such as...
Taro L. Saito, Shinichi Morishita
FDL
2006
IEEE
15 years 3 months ago
Design Structure Analysis and Transaction Recording in SystemC
We present an introspection/reflection framework for SystemC which extracts design-relevant structure information and transaction data under any LRM-2.1 compliant simulation kern...
Wolfgang Klingauf, Manuel Geffken
FROCOS
2011
Springer
13 years 9 months ago
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
RR
2007
Springer
15 years 3 months ago
Efficiently Querying Relational Databases Using OWL and SWRL
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...
Martin J. O'Connor, Ravi Shankar, Samson W. Tu, Cs...