Relational transducers for electronic commerce
From MaRDI portal
Publication:1591155
DOI10.1006/jcss.2000.1708zbMath0963.68057MaRDI 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
68P15: Database theory
Related Items
A datalog-based computational model for coordination-free, data-parallel systems, A Non-Deterministic Multiset Query Language, Deciding confluence for a simple class of relational transducer networks, On the aggregation problem for synthesized web services, On the verification of security-aware E-services, Reliability-aware automatic composition approach for web services, Specification and verification of data-driven Web applications, Verification of relational transducers for electronic commerce, Declarative Distributed Computing, Ontology Support for Managing Top-Down Changes in Composite Services
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item