Sciweavers

710 search results - page 72 / 142
» Relational Expressive Power of Constraint Query Languages
Sort
View
ICDE
2004
IEEE
108views Database» more  ICDE 2004»
14 years 9 months ago
Using Stream Semantics for Continuous Queries in Media Stream Processors
In this demonstration paper we present a stream query processor capable of handling media (audio, video, motion ...) and feature streams. We show that due to their inherent semant...
Amarnath Gupta, Bin Liu, Pilho Kim, Ramesh Jain
PLANX
2007
13 years 9 months ago
Lux: A Lightweight, Statically Typed XML Update Language
Several proposals for updating XML have been introduced. Many of them have a rather complicated semantics due to the interaction of side-effects and updates, and some proposals a...
James Cheney
PODS
2008
ACM
165views Database» more  PODS 2008»
14 years 8 months ago
Data exchange and schema mappings in open and closed worlds
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
Leonid Libkin, Cristina Sirangelo
ISEMANTICS
2010
13 years 9 months ago
Issues in expressing metadata application profiles with description logics and OWL 2
This paper gives an account of how traditional metadata application profiles are related to Web ontologies and Description Logics. It is shown that metadata profiles can be formal...
Dimitrios A. Koutsomitropoulos, Georgia D. Solomou
CCL
1994
Springer
13 years 12 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof