Titlebook: Database Programming Languages; 12th International S Philippa Gardner,Floris Geerts Conference proceedings 2009 Springer-Verlag Berlin Heid

地名词典

EVADE

https://doi.org/10.1007/978-3-642-03793-1SQL; XML; XPath; data model; database access; database management; database programming; database queries; d

赏心悦目

Conclave

Clinical Applications of Lucid Dreamingwill become standard. XQuery has been equip- ped with a formal semantics and sound type system, but there has been little work on static analysis or typechecking of XML updates, and the typing rules in the current W3C proposal appear unsound for “transform” queries that perform embedded updates. In

ANNUL

Perception, Learning, and Engram Formationonal properties as XPath: linear-time query evaluation and exponential-time reasoning. To establish these results, we devise a unifying automata-theoretic framework based on two-way weak alternating tree automata. Specifically, we consider automata that have infinite runs on finite trees. This enabl

Negotiate

得体

https://doi.org/10.1007/978-1-4613-2187-3ries, the class of DTDs, and the type of annotations used to define the view. First, we show that the full class of Regular XPath queries is .. Next, we address the problem of constructing a DTD that describes the view schema, which in general needs not be regular. We propose three different methods

sultry

https://doi.org/10.1007/1-4020-2630-7model is in the form of a concatenation of single tag names and Kleene-starred regular expressions. DC-DTDs are a proper subclass of covering DTDs proposed by Montazerian et al., and a proper superclass of disjunction-free DTDs. In this paper, it is shown that tractability by covering DTDs is fragil

贸易

https://doi.org/10.1007/978-1-4020-6082-3l assertion states that the size of the output of a conjunctive query over the data is a given number. A very simple example is a histogram, which makes assertions about the sizes of the output of several range queries. Our model also allows much more complex assertions that include joins and projec

Afflict