Sciweavers

46 search results - page 4 / 10
» Universal Temporal Extensions for Database Languages
Sort
View
ESWS
2010
Springer
14 years 11 months ago
Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
Manolis Koubarakis, Kostis Kyzirakos
115
Voted
CGI
1998
IEEE
15 years 4 months ago
An Architecture of a Universal DBMS for Graphics Applications
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
Andrey Collison, Hanspeter Bieri
68
Voted
SIGMOD
1987
ACM
69views Database» more  SIGMOD 1987»
15 years 4 months ago
Extending the Relational Algebra to Support Transaction Time
In this paper we discuss extensions to the conventional relatronal algebra to support transaction time We show that these extensions are applicable to hrstorlcal algebras that sup...
L. Edwin McKenzie, Richard T. Snodgrass
118
Voted
CONCUR
2001
Springer
15 years 5 months ago
Extended Temporal Logic Revisited
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
120
Voted
ICALP
2007
Springer
15 years 6 months ago
Universal Algebra and Hardness Results for Constraint Satisfaction Problems
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
Benoit Larose, Pascal Tesson