56,041 research outputs found
ON COMPLETENESS OF HISTORICAL RELATIONAL QUERY LANGUAGES
Numerous proposals for extending the relational data model to incorporate the temporal
dimension of data have appeared in the past several years. These proposals have differed
considerably in the way that the temporal dimension has been incorporated both into the
structure of the extended relations of these temporal models, and consequently into the
extended relational algebra or calculus that they define. Because of these differences it has
been difficult to compare the proposed models and to make judgments as to which of them
might in some sense be equivalent or even better. In this paper we define the notions of
temporally grouped and temporally ungrouped historical data models and propose
two notions of historical relational completeness, analogous to Codd's notion of relational
completeness, one for each type of model. We show that the temporally ungrouped
models are less powerful than the grouped models, but demonstrate a technique for extending
the ungrouped models with a grouping mechanism to capture the additional semantic
power of temporal grouping. For the ungrouped models we define three different languages,
a temporal logic, a logic with explicit reference to time, and a temporal algebra, and show
that under certain assumptions all three are equivalent in power. For the grouped models
we define a many-sorted logic with variables over ordinary values, historical values, and
times. Finally, we demonstrate the equivalence of this grouped calculus and the ungrouped
calculus extended with the proposed grouping mechanism. We believe the classification of
historical data models into grouped and ungrouped provides a useful framework for the
comparison of models in the literature, and furthermore the exposition of equivalent languages
for each type provides reasonable standards for common, and minimal, notions of
historical relational completeness.Information Systems Working Papers Serie
On Completeness of Historical Relational Query Languages
Numerous proposals for extending the relational data model to incorporate the temporal
dimension of data have appeared in the past several years. These proposals have differed
considerably in the way that the temporal dimension has been incorporated both into the
structure of the extended relations of these temporal models, and consequently into the
extended relational algebra or calculus that they define. Because of these differences it
has been difficult to compare the proposed models and to make judgments as to which of
them might in some sense be equivalent or even better. In this paper we define the notions of
temporally grouped and temporally ungrouped historical data models and propose two
notions of historical reIationa1 completeness, analogous to Codd's notion of relational
completeness, one for each type of model. We show that the temporally ungrouped models
are less expressive than the grouped models, but demonstrate a technique for extending the
ungrouped models with a grouping mechanism to capture the additional semantic power
of temporal grouping. For the ungrouped models we define three different languages, a
temporal logic, a logic with explicit reference to time, and a temporal algebra, and show
that under certain assumptions all three are equivalent in power. For the grouped models
we define a many-sorted logic with variables over ordinary values, historical values, and
times. Finally, we demonstrate the equivalence of this grouped calculus and the ungrouped
calculus extended with a grouping mechanism. We believe the classification of historical
data models into grouped and ungrouped provides a useful framework for the comparison
of models in the literature, and furthermore the exposition of equivalent languages for each
type provides reasonable standards for common, and minimal, notions of historical relational
completeness.Information Systems Working Papers Serie
ON COMPLETENESS OF HISTORICAL RELATIONAL QUERY LANGUAGES
Numerous proposals for extending the relational data model to incorporate the temporal
dimension of data have appeared in the past several years. These proposals have differed
considerably in the way that the temporal dimension has been incorporated both into the
structure of the extended relations of these temporal models, and consequently into the
extended relational algebra or calculus that they define. Because of these differences it has
been difficult to compare the proposed models and to make judgments as to which of them
might in some sense be equivalent or even better. In this paper we define the notions of
temporally grouped and temporally ungrouped historical data models and propose
two notions of historical relational completeness, analogous to Codd's notion of relational
completeness, one for each type of model. We show that the temporally ungrouped
models are less powerful than the grouped models, but demonstrate a technique for extending
the ungrouped models with a grouping mechanism to capture the additional semantic
power of temporal grouping. For the ungrouped models we define three different languages,
a temporal logic, a logic with explicit reference to time, and a temporal algebra, and show
that under certain assumptions all three are equivalent in power. For the grouped models
we define a many-sorted logic with variables over ordinary values, historical values, and
times. Finally, we demonstrate the equivalence of this grouped calculus and the ungrouped
calculus extended with the proposed grouping mechanism. We believe the classification of
historical data models into grouped and ungrouped provides a useful framework for the
comparison of models in the literature, and furthermore the exposition of equivalent languages
for each type provides reasonable standards for common, and minimal, notions of
historical relational completeness.Information Systems Working Papers Serie
Web and Semantic Web Query Languages
A number of techniques have been developed to facilitate
powerful data retrieval on the Web and Semantic Web. Three categories
of Web query languages can be distinguished, according to the format
of the data they can retrieve: XML, RDF and Topic Maps. This article
introduces the spectrum of languages falling into these categories
and summarises their salient aspects. The languages are introduced using
common sample data and query types. Key aspects of the query
languages considered are stressed in a conclusion
A Critical Review of Temporal Database Management Systems
There have been significant research activities in Temporal Databases during the last decade. However, the developments of a semantics of time, a temporal model for efficient database systems and temporal query languages still need much study. Based on the researches of the TDB group [Snodgrass 1987], the review of research about TDBMS in this dissertation mainly emphasises three aspects as follows. 1) The formulation of a semantics of time at the conceptual level. A topology of time and types of time attributes are introduced. A new taxonomy for time attributes is presented: assertion time, event time, and recording time. 2) The development of a model for TDBMS analogous to relational databases. Based on Snodgrass' classification, four kinds of databases: snapshot, rollback, historical and temporal are discussed in depth. But the discussion distinguishes some important differences from the representation of the TDB model: - historical relation for most enterprises is an interval relation, but not a sequence of snapshot slices indexed by valid time. The term "tuple" no longer simply refers to an entity as in traditional relational databases. It refers to different level representations of an object: entity, entity state, observation of entity, and observation of entity state in different types of databases. 3) The design of temporal query languages. We do not present a new temporal query language in this dissertation, but we discuss a Quel-like temporal query language, TQuel, in some depth. TQuel is compared with two other temporal query languages TOSQL and Legol 2.0. We centre the main discussion on TQuel's semantics for tuple calculus. The classification for the relationships between overlapping intervals suggests an approach using temporal logic to classify the derived tuples in tuple calculus. Under such an approach, a new presentation for tuple modification calculus is proposed, not only for interval relations, but also for event relations
RDF Querying
Reactive Web systems, Web services, and Web-based publish/
subscribe systems communicate events as XML messages, and in
many cases require composite event detection: it is not sufficient to react
to single event messages, but events have to be considered in relation to
other events that are received over time.
Emphasizing language design and formal semantics, we describe the
rule-based query language XChangeEQ for detecting composite events.
XChangeEQ is designed to completely cover and integrate the four complementary
querying dimensions: event data, event composition, temporal
relationships, and event accumulation. Semantics are provided as
model and fixpoint theories; while this is an established approach for rule
languages, it has not been applied for event queries before
Survey over Existing Query and Transformation Languages
A widely acknowledged obstacle for realizing the vision of the Semantic Web is the inability
of many current Semantic Web approaches to cope with data available in such diverging
representation formalisms as XML, RDF, or Topic Maps. A common query language is the first
step to allow transparent access to data in any of these formats. To further the understanding
of the requirements and approaches proposed for query languages in the conventional as well
as the Semantic Web, this report surveys a large number of query languages for accessing
XML, RDF, or Topic Maps. This is the first systematic survey to consider query languages from
all these areas. From the detailed survey of these query languages, a common classification
scheme is derived that is useful for understanding and differentiating languages within and
among all three areas
Identification of Design Principles
This report identifies those design principles for a (possibly new) query and transformation
language for the Web supporting inference that are considered essential. Based upon these
design principles an initial strawman is selected. Scenarios for querying the Semantic Web
illustrate the design principles and their reflection in the initial strawman, i.e., a first draft of
the query language to be designed and implemented by the REWERSE working group I4
TEMPOS: A Platform for Developing Temporal Applications on Top of Object DBMS
This paper presents TEMPOS: a set of models and languages supporting the manipulation of temporal data on top of object DBMS. The proposed models exploit object-oriented technology to meet some important, yet traditionally neglected design criteria related to legacy code migration and representation independence. Two complementary ways for accessing temporal data are offered: a query language and a visual browser. The query language, namely TempOQL, is an extension of OQL supporting the manipulation of histories regardless of their representations, through fully composable functional operators. The visual browser offers operators that facilitate several time-related interactive navigation tasks, such as studying a snapshot of a collection of objects at a given instant, or detecting and examining changes within temporal attributes and relationships. TEMPOS models and languages have been formalized both at the syntactical and the semantical level and have been implemented on top of an object DBMS. The suitability of the proposals with regard to applications' requirements has been validated through concrete case studies
- ā¦