Sciweavers

3456 search results - page 409 / 692
» Semantics in Spatial Databases
Sort
View
DEXA
2009
Springer
70views Database» more  DEXA 2009»
16 years 1 months ago
On the Termination Problem for Declarative XML Message Processing
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
Tadeusz Litak, Sven Helmer
ICDT
2003
ACM
125views Database» more  ICDT 2003»
15 years 11 months ago
XPath Containment in the Presence of Disjunction, DTDs, and Variables
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...
Frank Neven, Thomas Schwentick
DOOD
1993
Springer
135views Database» more  DOOD 1993»
15 years 10 months ago
A Deductive and Typed Object-Oriented Language
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
René Bal, Herman Balsters
198
Voted
ER
2007
Springer
115views Database» more  ER 2007»
15 years 10 months ago
Modeling Workflow Patterns from First Principles
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
Egon Börger
FOIKS
2006
Springer
15 years 10 months ago
The Nested List Normal Form for Functional and Multivalued Dependencies
The Nested List Normal Form is proposed as a syntactic normal form for semantically well-designed database schemata obtained from any arbitrary finite nesting of records and lists....
Sven Hartmann, Sebastian Link