Multiset Processing

The aim of this paper is to show that some computational models inspired from biological membranes, such as P systems, can be simulated on digital computers in an efficient manner. To this aim, it is necessary to characterize non-determinism and parallel execution of evolution rules inside regions. Both these issues are formally described here in order to obtain a feasible description in terms of data structures and operations able to be implemented in a functional programming language. Static and dynamic structures of transition P systems are formalised in order to define a bio-language to represent them. Finally, a draft of a language for describing a transition P systems is presented. It will facilitate the description of transition P systems in terms of sentences in a high level programming language; such sentences will define a program. A process of compilation will parse the program to appropriate data structures and will launch the execution of the simulation process.

[1]  W. Shipman David,et al.  The functional data model and the data language DAPLEX , 1988 .

[2]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[3]  S. Ceri,et al.  Algres: an advanced database system for complex applications , 1990, IEEE Software.

[4]  Philippe Cacace,et al.  Advanced Relational Programming , 1996 .

[5]  Michael Sipser,et al.  Parity, circuits, and the polynomial-time hierarchy , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[6]  Ming-Chien Shan,et al.  Iris: An Object-Oriented Database Management System , 1989, ACM Trans. Inf. Syst..

[7]  Nicole Bidoit,et al.  The Verso Algebra or How to Answer Queries with Fewer Joins , 1987, J. Comput. Syst. Sci..

[8]  Hamid Pirahesh,et al.  Extensibility in the Starburst Database System , 1986, OODBS.

[9]  Divesh Srivastava,et al.  Answering Queries with Aggregation Using Views , 1996, VLDB.

[10]  Limsoon Wong,et al.  Query Languages for Bags and Aggregate Functions , 1997, J. Comput. Syst. Sci..

[11]  Inderpal Singh Mumick,et al.  Incremental Maintenance Of Views With Duplicates , 1999 .

[12]  Latha S. Colby.  A recursive algebra and query optimization for nested relations , 1989, SIGMOD '89.

[13]  Divesh Srivastava,et al.  Answering Queries Using Views. , 1999, PODS 1995.

[14]  Nathan Goodman,et al.  Multirelations - Semantics and Languages , 1998 .

[15]  Dan Suciu,et al.  A query language for NC , 1994, PODS '94.

[16]  Michael Stonebraker,et al.  The design and implementation of INGRES , 1976, TODS.

[17]  Limsoon Wong,et al.  Query languages for bags: expressive power and complexity , 1996, SIGA.

[18]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[19]  Tova Milo,et al.  Towards Tractable Algebras for Bags , 1996, J. Comput. Syst. Sci..

[20]  Randy H. Katz,et al.  An extended relational algebra with control over duplicate elimination , 1982, PODS.

[21]  David J. DeWitt,et al.  Algebraic support for complex objects with arrays, identity, and inheritance , 1991, SIGMOD '91.

[22]  Sourav S. Bhowmick,et al.  Research Issues in Web Data Mining , 1999, DaWaK.

[23]  Hamid Pirahesh,et al.  The Magic of Duplicates and Aggregates , 1990, VLDB.

[24]  Val Tannen,et al.  Logical and Computational Aspects of Programming with Sets/Bags/Lists , 1991, ICALP.

[25]  Hans-Jörg Schek,et al.  Data Structures for an Integrated Data Base Management and Information Retrieval System , 1982, VLDB.

[26]  Sourav S. Bhowmick,et al.  Web Bags - Are They Useful in A Web Warehouse? , 1998, FODO.

[27]  David J. DeWitt,et al.  A data model and query language for EXODUS , 1988, SIGMOD '88.

[28]  Umeshwar Dayal,et al.  PDM: An Object-Oriented Data Model , 1986, OODBS.

[29]  Luca Cardelli,et al.  Types for Data-Oriented Languages , 1988, EDBT.

[30]  Limsoon Wong,et al.  Some Properties of Query Languages for Bags , 1993, DBPL.

[31]  Gultekin Özsoyoglu,et al.  Extending relational algebra and relational calculus with set-valued attributes and aggregate functions , 1987, TODS.

[32]  Peter Dadam,et al.  A DBMS prototype to support extended NF2 relations: an integrated view on flat tables and hierarchies , 1986, SIGMOD '86.

[33]  Donald D. Chamberlin,et al.  SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control , 1976, IBM J. Res. Dev..

[34]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[35]  Mark A. Roth,et al.  Extended Algebra and Calculus for , 1984 .

[36]  Alan R. Simon,et al.  Understanding the New SQL: A Complete Guide , 1993 .

[37]  Hans-Jörg Schek,et al.  The relational model with relation-valued attributes , 1986, Inf. Syst..

[38]  Seymour Ginsburg,et al.  The mathematical theory of context free languages , 1966 .

[39]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[40]  Anne Verroust-Blondet,et al.  VERSO: A Database Machine Based On Nested Relations , 1987, NF².

[41]  C. J. Date.  A Guide to the SQL Standard , 1987 .

[42]  Per-Åke Larson,et al.  An algebra for nested relations , 1987 .