Relational Transducers for Electronic Commerce

This publication has 11 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Evolving databases: an application to electronic commerce
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Semantics and Expressiveness Issues in Active Databases
  Journal of Computer and System Sciences, 1998
• Complexity of answering queries using materialized views
  Published by Association for Computing Machinery (ACM) ,1998
• Temporal and Modal Logic
  Published by Elsevier ,1990
• The design of POSTGRES
  ACM SIGMOD Record, 1986
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
  SIAM Journal on Computing, 1985
• Complexity results for classes of quantificational formulas
  Journal of Computer and System Sciences, 1980
• On a Problem of Formal Logic
  Proceedings of the London Mathematical Society, 1930
• Zum Entscheidungsproblem der mathematischen Logik
  Mathematische Annalen, 1928