Relational transducers for electronic commerce

DOI10.1006/JCSS.2000.1708MaRDI QIDQ1591155zbMATH OpenOpenAlexFDO

Authors Serge Abiteboul, Victor Vianu, Brad Fordham, Yelena Yesha

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)

Recommendations

• Verification of relational transducers for electronic commerce
• Relational transducers for declarative networking
• scientific article; zbMATH DE number 1735900
• A relation-algebraic approach to multirelations and predicate transformers
• On efficient recognition of transductions and relations
• Computing with relational machines
• scientific article; zbMATH DE number 3872729
• scientific article; zbMATH DE number 1536548

Cites work

• scientific article; zbMATH DE number 3825182 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1142329 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• 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

Cited in

(11)

• Declarative distributed computing
• Deciding confluence for a simple class of relational transducer networks
• On the verification of security-aware E-services
• Specification and verification of data-driven Web applications
• Reliability-aware automatic composition approach for web services
• Verification of relational transducers for electronic commerce
• Ontology support for managing top-down changes in composite services
• A datalog-based computational model for coordination-free, data-parallel systems
• A transaction-based approach to relational database specification
• A Non-Deterministic Multiset Query Language
• On the aggregation problem for synthesized web services

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1591155)