(Enter summary)
Abstract: We study languages for manipulating partially ordered structures with duplicates
(e.g. trees, lists). As a general framework, we consider the pomset (partially ordered
multiset) datatype. We introduce an algebra for pomsets, which generalizes traditional
algebras for (nested) sets, bags and lists. This paper is motivated by the study of the
impact of different language primitives on the expressive power. We show that the
use of partially ordered types increases the expressive power... (Update)
Context of citations to this paper: More
.... AGMML90, GCB92, J91] Other authors have recently studied models and languages for databases containing sequences, e.g. [CRSV94, GM95, GNU94, GW92, Ric92, SLR94]) but without taking into account notions of similarity or approximation. In this paper we generalize this type of...
...in the present paper. Nevertheless, an extension of the relational machines with counters was proposed in [GO93] and it was shown in [GM95], that there are close relationships between bags and counters. 3 An Algebra for Bags In the following we present an algebra for bag...
Cited by: More
Using Regular Tree Automata as XML schemas - Chidlovskii (1999)
(Correct)
Complex Visual Activity Recognition Using A Temporally.. - Shailendra Bhonsle.. (1999)
(Correct)
Proceedings of Third International Workshop on Cooperative .. - November Kyoto Japan
(Correct)
Similar documents (at the sentence level):
28.8%: An Algebra for Pomsets (Extended Abstract) - Grumbach, Milo
(Correct)
Active bibliography (related documents): More All
2.4: An Algebra for Pomsets - St'ephane Grumbach Rocquencourt (1995)
(Correct)
0.7: Towards Tractable Algebras for Bags - Grumbach, Milo (1993)
(Correct)
0.5: Tractable Query Languages for Complex Object Databases - Grumbach (1995)
(Correct)
Similar documents based on text: More All
0.4: Query Languages for Bags - Expressive Power and Complexity - Grumbach, Libkin, Milo, Wong (1996)
(Correct)
0.4: New Techniques for Studying Set Languages, Bag Languages and.. - Libkin, Wong (1994)
(Correct)
0.3: Query Languages for Bags - Libkin, Wong (1993)
(Correct)
Related documents from co-citation: More All
12: Pattern Matching by Rs-Operations: Towards a Unified Approach to Querying Sequen..
- Ginsburg, Wang - 1992
11: A query language for list based complex objects
- Colby, Robertson et al. - 1994
10: Computational Complexity (context) - Papadimitriou - 1994
BibTeX entry: (Update)
S. Grumbach and T. Milo. An algebra for POMSETS. In ICDT, 1995. http://citeseer.ist.psu.edu/article/grumbach95algebra.html More
@article{ grumbach99algebra,
author = "Stephane Grumbach and Tova Milo",
title = "An Algebra for Pomsets",
journal = "Information and Computation",
volume = "150",
number = "2",
pages = "268-306",
year = "1999",
url = "citeseer.ist.psu.edu/article/grumbach95algebra.html" }
Citations (may not include all citations):
4212
Computers and Intractability A Guide to the theory of NP-Com.. (context) - Garey, Johnson - 1979
775
Foundations of Databases (context) - Abiteboul, Hull et al. - 1994
379
The complexity of relational query languages (context) - Vardi - 1982
280
Object identity as a query language primitive (context) - Abiteboul, Kanellakis - 1989
250
Computer Science Press (context) - Ullman, Knowledge - 1988
245
Relational queries computable in polynomial time
- Immerman - 1986
189
Computable Queries for Relational Data Bases
- Chandra, Harel - 1980
185
the computation of multidimensional aggregates
- Agarwal - 1996
129
the power of languages for the manipulation of complex objec..
- Abiteboul, Beeri - 1995
117
Efficient planarity testing (context) - Hopcroft, Tarjan - 1974
114
Generic computation and its complexity (context) - Abiteboul, Vianu - 1991
110
Fundamentals of Spatial Information Systems (context) - Laurini - 1992
99
Querying and updating the file
- Abiteboul, Cluet et al. - 1993
95
Fixed-point extensions of first-order logic (context) - Gurevich, Shelah - 1986
90
Structural recursion as a query language
- Breazu-Tannen, Buneman et al. - 1991
70
Algebraic optimization of object oriented query languages (context) - Beeri, Kornatzky - 1990
59
Logical and computational aspects of programming with sets/b.. (context) - Breazu-Tannen, Subrahmanyam - 1991
55
Towards tractable algebras for bags
- Grumbach, Milo - 1993
50
The magic of duplicates and aggregates
- Mumick - 1990
45
A new approach to database logic (context) - Kuper, Vardi - 1984
44
the expressive power of database queries with intermediate t.. (context) - Hull, Su - 1988
44
New techniques for studying set languages (context) - Libkin, Wong - 1994
39
A rule-based language with functions and sets (context) - Abiteboul, Grumbach - 1991
39
Algebras of feasible functions (context) - Gurevich - 1983
37
Algebraic properties of bag data types (context) - Albert - 1991
36
Supporting lists in a data model (context) - Richardson - 1992
29
Linear time algorithm for isomorphism of planar graphs (context) - Hopcroft, Wong - 1974
26
Inductive definability with counting on finite structures
- Gradel, Otto - 1993
24
Tractable query languages for complex object databases
- Grumbach, Vianu - 1991
20
Query language for listbased complex objects
- Colby, Robertson et al. - 1994
17
Ordered types in the aqua data model
- Subramanian, Zdonik et al. - 1993
17
The pomset model of parallel processes: Unifying the tempora.. (context) - Pratt - 1984
15
Bounded fixpoints for complex objects
- Suciu - 1993
13
On Database Logic (context) - Jacobs - 1982
12
Functional and predicative programming in oodb's (context) - Beeri, Milo - 1992
12
The expressive power of structured values in pure OODB's (context) - Van Den Bussche, Paredaens - 1991
11
Playing games with objects (context) - Grumbach, Vianu - 1990
8
Invention and Computable Queries (context) - Hull, Su - 1989
7
Towards a unified approach to querying sequenced data (context) - Ginsburg, Wang - 1992
6
Calculi for bags and their complexity (context) - Grumbach, Milo et al. - 1993
6
Extended Algebra and Calculus for not 1NF Relational Databas.. (context) - Korth, Roth et al. - 1985
4
chapter Computationally Tractable Classes of ordered Sets (context) - Mohring, Order et al. - 1989
3
New lower bound techniques for robot motion planing problems (context) - Canny, Reif - 1987
3
Handbook of Theorical Computer Science (context) - Johnson - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.tau.ac.il/~milo/): More
Algebras for Querying Text Regions: Expressive Power and.. - Consens (1998)
(Correct)
A Logical View of Structured Files - Abiteboul, Cluet, Milo (1997)
(Correct)
Type Inference for Queries on Semistructured Data (Extended.. - Milo, Suciu (1999)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC