An Algebra for Pomsets

@inproceedings{Grumbach1995AnAF,
  title={An Algebra for Pomsets},
  author={St{\'e}phane Grumbach and Tova Milo},
  booktitle={Inf. Comput.},
  year={1995}
}
  • S. Grumbach, T. Milo
  • Published in Inf. Comput. 11 January 1995
  • Mathematics, Computer Science
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… 

Towards tractable algebras for bags

TLDR
It is shown that the bag algebra is more expressive than the nested relation algebra (at all levels of nesting), and that the difference may be subtle, and a hierarchy is established based on the structure of algebra expressions.

Computing Possible and Certain Answers over Order-Incomplete Data

Structural Recursion on Ordered Trees and List-Based Complex Objects

TLDR
This paper shows that the combination of vertical recursion down a tree combined with horizontal recursion across a list of trees gives rise to a robust class of transformations: it captures the class of all primitive recursive queries.

Structural Recursion as a Query Language on Lists and Ordered Trees

TLDR
It is shown that the combination of vertical recursion down a tree combined with horizontal recursion across a list of trees gives rise to a robust class of transformations: it captures the class of all primitive recursive queries.

Tractable Iteration Mechanisms for Bag Languages

TLDR
It is shown that the deflationary and bounded inflationary fixpoint constructs are equally expressive and strictly more expressive than their set-based counterparts and that the bag algebra with bounded fixpoint fails to capture all PTIME queries over databases with ordered domains.

Possible and Certain Answers for Queries over Order-Incomplete Data

TLDR
A query language for order-incomplete data, based on the positive relational algebra with order-aware accumulation, is introduced, which shows that these problems are respectively NP-complete and coNP-complete, but identifies many tractable cases depending on the query operators or input partial orders.

Tractable Iteration Mechanisms forBag

The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of sets to be directly applied to

Semantics analysis through elementary meanings: theoretical foundation for generalized thesaurus construction

TLDR
This paper establishes the computational properties of Transducer Datalog, a query language based on a new machine model called a generalized sequence transducer, and develops a hierarchy of time-complexity classes based on the Ackermann function.

Provenance for Nondeterministic Order-Aware Queries

TLDR
This work enrichs the positive relational algebra with order-aware operators, some of which are non-deterministic, accounting for uncertainty, and introduces a framework that accounts for the conjunction of these needs.

Synchronization Schemas

TLDR
A type-theoretic framework for data stream processing for real-time decision making, where the desired computation involves a mix of sequential computation, such as smoothing and detection of peaks and surges, and naturally parallel computation, and introduces series-parallel stream transformers (SPST) as a domain-specific language for modular specification of deterministic transformations over such streams.

References

SHOWING 1-10 OF 49 REFERENCES

Towards tractable algebras for bags

TLDR
It is shown that the bag algebra is more expressive than the nested relation algebra (at all levels of nesting), and that the difference may be subtle, and a hierarchy is established based on the structure of algebra expressions.

Bounded Fixpoints for Complex Objects

  • Dan Suciu
  • Computer Science
    Theor. Comput. Sci.
  • 1997

New techniques for studying set languages, bag languages and aggregate functions

TLDR
The bounded degree property which says that the number of distinct in- and out-degrees in the output of a graph query does not depend on the size of the input if the input is “simple” is studied.

Structural Recursion as a Query Language

TLDR
A programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages, and it is expected that lower-level programming, and therefore better optimization will be feasible.

Logical and Computational Aspects of Programming with Sets/Bags/Lists

TLDR
Back-and-forth translations between the two presentations of the list, bag, and set datatypes are established, from which it follows that they are equally expressive, and results relating proofs of program properties, in the two presentation are established.

The complexity of relational query languages (Extended Abstract)

TLDR
The pattern which will be shown is that the expression complexity of the investigated languages is one exponential higher then their data complexity, and for both types of complexity the authors show completeness in some complexity class.

Ordered Types in the AQUA Data Model

TLDR
A query algebra that supports ordering among the data elements and its associated data model with special emphasis on ordered types and their operators is presented.

Calculi for Bags and their Complexity

TLDR
This paper provides here two restricted calculi with bounded complexity, and shows that the restrictions are minimal, indeed, any looser restriction leads to non computable queries.

Untyped sets, invention, and computable queries

TLDR
Conventional database query languages are considered in the context of untyped sets and the calculus has power beyond the computable queries; and is characterized using the typed complex object calculus with invention.

Tractable query languages for complex object databases

TLDR
The expressiveness and complexity of several calculus-based query languages for complex objects are considered and an extension of the fixpoint queries to complex objects is shown to express precisely the PTIME queries, under the assumption that the database makes full use of all its types.