Sciweavers

1067 search results - page 120 / 214
» Problem Solving in the DISCO Constraint Database System
Sort
View
119
Voted
FSEN
2007
Springer
15 years 9 months ago
Zone-Based Universality Analysis for Single-Clock Timed Automata
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
Parosh Aziz Abdulla, Joël Ouaknine, Karin Qua...
180
Voted
PODS
2011
ACM
220views Database» more  PODS 2011»
14 years 6 months ago
Maximizing conjunctive views in deletion propagation
In deletion propagation, tuples from the database are deleted in order to reflect the deletion of a tuple from the view. Such an operation may result in the (often necessary) del...
Benny Kimelfeld, Jan Vondrák, Ryan Williams
APWEB
2004
Springer
15 years 8 months ago
Generalized Inclusion Dependencies in XML
Abstract. Integrity constraints play a fundamental role in defining semantics in both conventional databases and in XML documents. In this paper we generalize previous approaches ...
Millist W. Vincent, Michael Schrefl, Jixue Liu, Ch...
PODS
1999
ACM
133views Database» more  PODS 1999»
15 years 7 months ago
Processing and Optimization of Multiway Spatial Joins Using R-Trees
One of the most important types of query processing in spatial databases and geographic information systems is the spatial join, an operation that selects, from two relations, all...
Dimitris Papadias, Nikos Mamoulis, Yannis Theodori...
COOPIS
1997
IEEE
15 years 7 months ago
Task Sharing among Agents using Reactive Rules
Coordination and collaboration are naturally used by groups for carrying out activities and solving problems that require cooperation. However, getting a set of computer agents to...
Mikael Berndtsson, Sharma Chakravarthy, Brian Ling...