Sciweavers

1587 search results - page 223 / 318
» The Semantics of Extended SOFL
Sort
View
VLDB
1993
ACM
113views Database» more  VLDB 1993»
15 years 8 months ago
An Active Object-Oriented Database: A Multi-Paradigm Approach to Constraint Management
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
Hiroshi Ishikawa, Kazumi Kubota
ECOOP
2010
Springer
15 years 8 months ago
Embedding Languages without Breaking Tools
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...
Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz
DAWAK
2009
Springer
15 years 8 months ago
Skyline View: Efficient Distributed Subspace Skyline Computation
Skyline queries have gained much attention as alternative query semantics with pros (e.g.low query formulation overhead) and cons (e.g.large control over result size). To overcome ...
Jinhan Kim, Jongwuk Lee, Seung-won Hwang
ADBIS
2004
Springer
92views Database» more  ADBIS 2004»
15 years 8 months ago
Optimal Database Locks for Efficient Integrity Checking
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
Davide Martinenghi
AMAST
2006
Springer
15 years 8 months ago
Realizability Criteria for Compositional MSC
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
Arjan J. Mooij, Judi Romijn, Wieger Wesselink