Relational transducers for electronic commerce

DOI10.1006/jcss.2000.1708zbMath0963.68057OpenAlexW4212985172MaRDI QIDQ1591155

Yelena Yesha, Serge Abiteboul, Victor Vianu, Brad Fordham

Publication date: 21 June 2001

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jcss.2000.1708

zbMATH Keywords

relational transducersSpocus transducers

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (10)

Deciding confluence for a simple class of relational transducer networks ⋮ Declarative Distributed Computing ⋮ A datalog-based computational model for coordination-free, data-parallel systems ⋮ Specification and verification of data-driven Web applications ⋮ On the aggregation problem for synthesized web services ⋮ Verification of relational transducers for electronic commerce ⋮ On the verification of security-aware E-services ⋮ Reliability-aware automatic composition approach for web services ⋮ Ontology Support for Managing Top-Down Changes in Composite Services ⋮ A Non-Deterministic Multiset Query Language

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• Complexity results for classes of quantificational formulas
• Semantics and expressiveness issues in active databases
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable

This page was built for publication: Relational transducers for electronic commerce