Workflow, transactions and datalog

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Workflow, transactions and datalog

Full text

Pdf (1.83 MB)

Source

Symposium on Principles of Database Systems archive
Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems table of contents

Philadelphia, Pennsylvania, United States

Pages: 294 - 305

Year of Publication: 1999

ISBN:1-58113-062-7

Author

Anthony J. Bonner

University of Toronto, Department of Computer Science, Toronto, Ontario, Canada M5S 1A4

Sponsors

SIGART: ACM Special Interest Group on Artificial Intelligence
SIGMOD: ACM Special Interest Group on Management of Data
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 35, Citation Count: 18

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/303976.304005 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Serge Abiteboul , Richard Hull , Victor Vianu, Foundations of Databases: The Logical Level, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	2	S. Abiteboul, M.Y. Vardi, and V. Vianu. Fixpoint logics, relational machines, and computational complexity. In Proceedings of the Seventh Annual Structure ~n Complexity Theory Conference, pages 156-168, Boston, MA, June 22-25 1992. IEEE Computer Society Press.
	3	Serge Abiteboul , Victor Vianu, Procedural languages for database queries and updates, Journal of Computer and System Sciences, v.41 n.2, p.181-229, Oct. 1990 [doi>10.1016/0022-0000(90)90036-K]
	4	Serge Abiteboul , Victor Vianu, Datalog extensions for database queries and updates, Journal of Computer and System Sciences, v.43 n.1, p.62-124, Aug. 1991 [doi>10.1016/0022-0000(91)90032-Z]
	5	Serge Abiteboul , Victor Vianu , Brad Fordham , Yelena Yesha, Relational transducers for electronic commerce, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.179-187, June 01-04, 1998, Seattle, Washington, United States [doi>10.1145/275487.275507]
	6	Standard Guide for Laboratory Information Manage'.- ment Systems (LIMS). American Society for Testing and Materials, 1916 RaceSt., Philadelphia PA 19102;, U.S.A, 1993.
	7	Philip A. Bernstein , Vassco Hadzilacos , Nathan Goodman, Concurrency control and recovery in database systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
	8	Anthony J. Bonner, Modular Composition of Transaction Programs with Deductive Databases, Proceedings of the 6th International Workshop on Database Programming Languages, p.373-395, August 18-20, 1997
	9	Anthony J. Bonner, Workflow, transactions and datalog, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.294-305, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States [doi>10.1145/303976.304005]
	10	A.J. Bonnet and M. Kifer. Concurrency and communication in transaction logic. In Joint Int'l Conference and Symposium on Logic Programming, pages 142-156, Bonn, Germany, September 1996. MIT Press.
	11	Anthony J. Bonner , Michael Kifer, A logic for programming database transactions, Logics for databases and information systems, Kluwer Academic Publishers, Norwell, MA, 1998
	12	Anthony J. Bonner , Michael Kifer, The State of Change: A Survey, International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases, p.1-36, September 23-27, 1996
	13	A.J. Bonnet, A. Shrufi, and S. Rozen. Benchmarking object-oriented DBMSs for workfiow management. In OOPSLA Workshop on Object Database Behavior, Benchmarks, and Performance, Austin, TX, October 15 1995.
	14	A.J. Bonner, A. Shrufi, and S. Rozen. Database requirements for workflow management in a high-throughput genome laboratory. In NSF Workshop on Work~ow and Process Automation in Information Systems: State-ofthe-Art and Future Directions, pages 119-125, Athens, GA, May 8-10 1996.
	15	Anthony J. Bonner , Adel Shrufi , Steve Rozen, LabFlow-1: A Database Benchmark for High-Throughput Workflow Management, Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology, p.463-478, March 25-29, 1996
	16	A.K. Chandra and D. Haxel. Computable queries for relational databases. Journal of Computer and System Sciences, 21(2):156-178, 1980.
	17	A.K. Chandra and D. Harel. Structure and complexity of relational queries. Journal of Computer and System Sciences, 25(1):99-128, 1982.
	18	Ashok K. Chandra , Dexter C. Kozen , Larry J. Stockmeyer, Alternation, Journal of the ACM (JACM), v.28 n.1, p.114-133, Jan. 1981 [doi>10.1145/322234.322243]
	19	S. Christensen, Y. Hirshfeld, and F. Moller. Decidable subsets of CCS. The Computer Journal, 37(4):233-242, 1994. Special issue on process algebra.
	20	Karen A. Frenkel, The human genome project and informatics, Communications of the ACM, v.34 n.11, p.40-51, Nov. 1991 [doi>10.1145/125490.125492]
	21	Hasan Davulcu , Michael Kifer , C. R. Ramakrishnan , I. V. Ramakrishnan, Logic based modeling and analysis of workflows, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.25-33, June 01-04, 1998, Seattle, Washington, United States [doi>10.1145/275487.275491]
	22	Umeshwar Dayal , Qiming Chen, From Database Programming to Business Process Programming, Proceedings of the Fifth International Workshop on Database Programming Languages, p.1, September 06-08, 1995
	23	Doron Drusinsky , David Harel, On the power of bounded concurrency I: finite automata, Journal of the ACM (JACM), v.41 n.3, p.517-539, May 1994 [doi>10.1145/176584.176587]
	24	Ahmed K. Elmagarmid, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
	25	International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases, September 1996
	26	Dimitrios Georgakopoulos , Mark Hornick , Amit Sheth, An overview of workflow management: from process modeling to workflow automation infrastructure, Distributed and Parallel Databases, v.3 n.2, p.119-153, April 1995 [doi>10.1007/BF01277643]
	27	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
	28	David Harel, A Thesis for Bounded Concurrency, Proceedings on Mathematical Foundations of Computer Science 1989, p.35-48, August 28-September 01, 1989
	29	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	30	John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	31	Special issue on workflow and extended transaction systems. Bulletin o/the Technical Committee on Data Engineering (IEEE Computer Society), 16(2), June 1993. Edited by M. Hsu.
	32	Samuel Y.K. Hung. Implementation and Performance of Transaction Logic in Prolog. Master's thesis, Department of Computer Science, University of Toronto, 1996.
	33	Neil Immerman, Relational queries computable in polynomial time (Extended Abstract), Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.147-152, May 05-07, 1982, San Francisco, California, United States [doi>10.1145/800070.802187]
	34	N.D. jones, L.H. Landweber, and Y.E. Lien. Complexity of some problems in Petri nets. Theoretical Computer Science, 4:277-299, 1977.
	35	Setrag Khoshafian , Marek Buckiewicz, Introduction to groupware, workflow, and workgroup computing, John Wiley & Sons, Inc., New York, NY, 1995
	36	R. Milner, Communication and concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	37	Wolfgang Reisig, Petri nets: an introduction, Springer-Verlag New York, Inc., New York, NY, 1985
	38	Amalia Sleghel. Implementation of Concurrent Transaction Logic. Master's thesis, Department of Computer Science, University of Toronto. Forthcoming.
	39	L. Stein, S. Rozen, and N. Goodman. Managing laboratory workflow with LabBase. In Proceedings of the 199~ Conference on Computers in Medicine (CompMed9~). World Scientific Publishing Company, 1995.
	40	Dirk Taubner, Finite representations of CCS and TCSP programs by automata and Petri nets, Springer-Verlag New York, Inc., New York, NY, 1989
	41	Moshe Y. Vardi, The complexity of relational query languages (Extended Abstract), Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.137-146, May 05-07, 1982, San Francisco, California, United States [doi>10.1145/800070.802186]
	42	Dirk Wodtke , Gerhard Weikum, A Formal Foundation for Distributed Workflow Execution Based on State Charts, Proceedings of the 6th International Conference on Database Theory, p.230-246, January 08-10, 1997

CITED BY 18

	Zina Ben Miled , Srinivasan Sikkupparbathyam , Omran Bukhres , Kishan Nagendra , Eric Lynch , Marcelo Areal , Lola Olsen , Chris Gokey , David Kendig , Tom Northcutt , Rosy Cordova , Gene Major , Nanine Savage, Global change master directory: object-oriented active asynchronous transaction management in a federated environment using data agents, Proceedings of the 2001 ACM symposium on Applied computing, p.207-214, March 2001, Las Vegas, Nevada, United States
	Marcelo Arenas , Leopoldo Bertossi, Hypothetical Temporal Reasoning in Databases, Journal of Intelligent Information Systems, v.19 n.2, p.231-259, September 2002
	Anthony J. Bonner, Workflow, transactions and datalog, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.294-305, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States
	Hasan Davulcu , Michael Kifer , I. V. Ramakrishnan, CTR-S: a logic for specifying contracts in semantic web services, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, May 19-21, 2004, New York, NY, USA
	Gianluigi Greco , Antonella Guzzo , Giuseppe Manco , Domenico Sacca, Mining and Reasoning on Workflows, IEEE Transactions on Knowledge and Data Engineering, v.17 n.4, p.519-534, April 2005
	Srinath Shankar , Ameet Kini , David J. DeWitt , Jeffrey Naughton, Integrating databases and workflow systems, ACM SIGMOD Record, v.34 n.3, September 2005
	Pinar Senkul , Ismail H. Toroslu, An architecture for workflow scheduling under resource allocation constraints, Information Systems, v.30 n.5, p.399-422, July 2005
	Therani Madhusudan , N. Uttamsingh, A declarative approach to composing web services in dynamic environments, Decision Support Systems, v.41 n.2, p.325-357, January 2006
	Indrakshi Ray , Tai Xin, Analysis of dependencies in advanced transaction models, Distributed and Parallel Databases, v.20 n.1, p.5-27, July 2006
	S. Conery , M. Catchen , Michael Lynch, Rule-based workflow management for bioinformatics, The VLDB Journal — The International Journal on Very Large Data Bases, v.14 n.3, p.318-329, September 2005
	Gianluigi Greco , Antonella Guzzo , Giuseppe Manco , Domenico Saccí, Mining unconnected patterns in workflows, Information Systems, v.32 n.5, p.685-712, July, 2007
	Pinar Senkul , Michael Kifer , Ismail H. Toroslu, A logical framework for scheduling workflows under resource allocation constraints, Proceedings of the 28th international conference on Very Large Data Bases, p.694-705, August 20-23, 2002, Hong Kong, China
	Umeshwar Dayal , Meichun Hsu , Rivka Ladin, Business Process Coordination: State of the Art, Trends, and Open Issues, Proceedings of the 27th International Conference on Very Large Data Bases, p.3-13, September 11-14, 2001
	Madhur Kohli , Jorge Lobo, Realizing Network Control Policies Using Distributed Action Plans, Journal of Network and Systems Management, v.11 n.3, p.305-327, September 2003
	Artin Avanes , Johann-Christoph Freytag, Adaptive workflow scheduling under resource allocation constraints and network dynamics, Proceedings of the VLDB Endowment, v.1 n.2, August 2008
	Yajuan Li , Chuang Lin , Quan-Lin Li, A simplified framework for stochastic workflow networks, Computers & Mathematics with Applications, v.56 n.10, p.2700-2715, November, 2008
	Lars E. Olson , Carl A. Gunter , P. Madhusudan, A formal framework for reflective database access control policies, Proceedings of the 15th ACM conference on Computer and communications security, October 27-31, 2008, Alexandria, Virginia, USA
	John Field , Maria-Cristina Marinescu , Christian Stefansen, Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications, Theoretical Computer Science, v.410 n.2-3, p.168-201, February, 2009