Skip to main content
SpringerLink
Log in

Modeling data-intensive reactive systems with relational transition systems

  • Published:
Acta Informatica Aims and scope Submit manuscript

Abstract

In this paper, the formalism of Relational Transition Systems (RTSes) is used to model data-intensive reactive systems, and four RTS models of reactive systems based on temporal logic programming, production systems, recurrence equations, and Petri nets are presented. The paper also describes different methods of comparison of the expressive powers of various RTSes in terms of the trajectories they can generate and carries out this comparison for the four RTS formalisms. It is shown that these formalisms have the same expressive power in the deterministic case. The paper also compares expressive powers of non-deterministic production systems and non-deterministic temporal logic programming systems. It is shown that, although the two formalisms are incomparable in the general case, their restricted versions are isomorphic to each other.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. Abadi, Z. Manna: Temporal logic programming. J. of Symb. Computation 8: 277–295, 1989

    Article  MATH  MathSciNet  Google Scholar 

  2. S. Abiteboul, V. Vianu: Datalog extensions for database queries and updates. Journal of Computer and System Sciences 43: 62–124, 1991

    Article  MATH  MathSciNet  Google Scholar 

  3. H. Aly, Z. M. Ozsoyoglu: Non-deterministic modelling of logical queries in deductive databases. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Los Angeles, 1987

  4. H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens: METATEM: A framework for programming in temporal logic. In: Stepwise Refinement of Distributed Systems, pages 94–29. Springer, 1989. LNCS 430

  5. L. Brownston, R. Farrell, E. Kant: Programming Expert Systems in OPS5: an Introduction to Rule-Based Programming. Addison-Wesley: New York, 1986

    Google Scholar 

  6. F. Cacace, S. Ceri, L. Crespi-Reghizzi, S. Tanca, R. Zicari: Integrating object-oriented data modeling with rule-based programming paradigm. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 225–36, 1990

  7. C. G. Cassandras: Discrete event systems: modeling and performance analysis. Irwin, Homewood, Ill., 1993

    Google Scholar 

  8. C. de Maindreville, E. Simon: Modelling non-deterministic queries and updates in deductive databases. In: Proceedings of the International Conference on Very Large Databases, pages 395–06, 1988

  9. M. Finger: Changing the Past: Database Applications of Two-Dimensional Temporal Logics. PhD thesis, Imperial College of Science, Technology and Medicine, University of London, Department of Computing, February 1994

  10. M. Fisher: A resolution method for temporal logic. In: Proceedings of the IJCAI Conference, Sydney, Australia, 1991

  11. M. Fisher: A normal form for first-order temporal formulae. In: roceedings of the 11-th International Conference on Automated Deduction, Saratoga Springs, New York, 1992

    Google Scholar 

  12. M. Fujita, S. Kono, H. Tanaka, T. Moto-oka: Tokio: Logic programming language based on temporal logic and its compilation to Prolog. In: Third International Conference on Logic Programming, pages 695–09. Springer, 1986. LNCS 225

  13. D. Gabbay: The declarative past and imperative future: Executable temporal logic for interactive systems. In: B. Banieqbal, H. Barringer, A. Pnueli (eds) Proceedings of Colloquium on Temporal Logic in Specification, pages 402–50. Springer, 1989. LNCS 398

  14. H. J. Genrich: Predicate/transition nets. In: Lecture Notes in Computer Science, 254, pages 207–47. Springer, 1986

  15. Hodkinson. I: On Gabbay’s temporal fixed point operator. Theoretical Computer Science, 139, 1995

  16. Z. M. Kedem, A. Tuzhilin: Relational database behavior: Utilizing relational discrete event systems and models. In: Proceedings of the ACM Symposium on Principles of Database Systems, pages 336–46, 1989

  17. Z. Manna, A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems. Springer, 1992

  18. B. Moszkowski: Executing Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986

    Google Scholar 

  19. J. L. Peterson: Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981

  20. P. Ramadge: Supervisory control of discrete event systems: A survey and some new results. In: Lecture Notes in Control and Information Sciences, number 103, pages 69–0. Springer, 1987

  21. L. G. Sartori: Manufacturing Information Systems. Addison-Wesley: New York, 1988

    Google Scholar 

  22. A. Tuzhilin: Using Relational Discrete Event Systems and Models for Prediction of Future Behavior of Databases. PhD thesis, New York University, 1989

  23. A. Tuzhilin: SimTL: A simulation language based on temporal logic. Transactions of the Society for Computer Simulation 9(2): 87–100, 1992

    MathSciNet  Google Scholar 

  24. J. Ullman: Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988

  25. P. Varaiya, A.B. Kurzhanski (eds) Discrete Event Systems: Models and Applications. Springer, 1987. Lecture Notes in Control and Information Sciences, 103

  26. J. Widom and S. Ceri: A Guide to Active Database Systems, Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1995.

Download references

Author information

Authors and Affiliations

  1. Information Systems Department, Stern School of Business, New York University, 44 West 4th Street, Room 9-78, 10012-1126, New York, NY, USA

    Alexander Tuzhilin

  2. Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, 10012-1185, New York, NY, USA

    Zvi M. Kedem

Authors
  1. Alexander Tuzhilin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zvi M. Kedem
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexander Tuzhilin.

Additional information

A. Tuzhilin was supported in part by the NSF under grant IRI-93-18773 and Z. Kedem by the NSF grant CCR-94-11590

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tuzhilin, A., Kedem, Z.M. Modeling data-intensive reactive systems with relational transition systems. Acta Informatica 33, 203–231 (1996). https://doi.org/10.1007/s002360050041

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s002360050041

Keywords

Search

Navigation