Relational transducers for electronic commerce
- 1 May 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Semantics and Expressiveness Issues in Active DatabasesJournal of Computer and System Sciences, 1998
- Bottom-up beats top-down for datalogPublished by Association for Computing Machinery (ACM) ,1989
- The design of POSTGRESPublished by Association for Computing Machinery (ACM) ,1986
- The Implication Problem for Functional and Inclusion Dependencies is UndecidableSIAM Journal on Computing, 1985
- Inference rules for functional and inclusion dependenciesPublished by Association for Computing Machinery (ACM) ,1983
- Complexity results for classes of quantificational formulasJournal of Computer and System Sciences, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- On a Problem of Formal LogicProceedings of the London Mathematical Society, 1930
- Zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1928