Results 1  10
of
10
Principles of chemical programming
 In RULE’04, ENTCS. Elsevier
, 2004
"... Abstract The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical models use the multiset as their basic data structure. Computation proceeds by rewritings of the multiset which consume elements acco ..."
Abstract

Cited by 15 (9 self)
 Add to MetaCart
Abstract The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical models use the multiset as their basic data structure. Computation proceeds by rewritings of the multiset which consume elements according to reaction conditions and produce new elements according to specific transformation rules. Since the introduction of Gamma in the mideighties, many other chemical formalisms have been proposed such as the Cham, the Psystems and various higherorder extensions. The main objective of this paper is to identify a basic calculus containing the very essence of the chemical paradigm and from which extensions can be derived and compared to existing chemical models. 1
F.: Scalar and fuzzy cardinalities of crisp and fuzzy multisets, submitted
"... We define in an axiomatic way scalar and fuzzy cardinalities of finite multisets over]0, 1], and we obtain explicit descriptions for them. We show that, for multisets over]0, 1] associated to finite fuzzy sets, the cardinalities defined in this paper are equivalent to the cardinalities of the corres ..."
Abstract

Cited by 7 (7 self)
 Add to MetaCart
We define in an axiomatic way scalar and fuzzy cardinalities of finite multisets over]0, 1], and we obtain explicit descriptions for them. We show that, for multisets over]0, 1] associated to finite fuzzy sets, the cardinalities defined in this paper are equivalent to the cardinalities of the corresponding fuzzy sets previously introduced in the literature. Finally, we also define in an axiomatic way scalar and fuzzy cardinalities of finite fuzzy multisets over any set X, and we use the descriptions of the cardinalities of finite multisets over]0, 1] to obtain explicit characterizations of the former.
Multirelational Semantics for Extended
 In Conceptual ModelingER 2002. 21st International Conference on Conceptual Modeling, number 2503 in Lecture Notes in Computer Science
, 2002
"... This paper describes a multirelation semantics for a fragment of the Extended EntityRelationship schemata formalism based on the bicategorical definition of multirelations. The approach we follow is elementarywe try to introduce as few notions as possible. We claim that bicategorical algebra ..."
Abstract
 Add to MetaCart
This paper describes a multirelation semantics for a fragment of the Extended EntityRelationship schemata formalism based on the bicategorical definition of multirelations. The approach we follow is elementarywe try to introduce as few notions as possible. We claim that bicategorical algebra handles gracefully multirelations and their operations, and that multirelations are essential in a number of applications; moreover, the bicategorical composition of multirelations turns out to correspond to natural joins. From the formal semantics we derive an algorithm that can establish statically the possibility of building parallel ownership paths of weak entities. The ideas described in this paper have been implemented in a free tool, ERW, which lets users edit sets and multirelations instantiating an EER schema via a sophisticated web interface.
Scalar and Fuzzy Cardinalities of Crisp and Fuzzy Multisets
"... In this paper we define in an axiomatic way scalar and fuzzy cardinalities of finite crisp and fuzzy multisets, and we obtain explicit descriptions for them. ..."
Abstract
 Add to MetaCart
In this paper we define in an axiomatic way scalar and fuzzy cardinalities of finite crisp and fuzzy multisets, and we obtain explicit descriptions for them.
Mathematics of Multisets Apostolos Syropoulos
 In Multiset Processing
, 2001
"... This paper is an attempt to summarize most things that are related to multiset theory. We begin by describing multisets and the operations between them. Then we present hybrid sets and their operations. We continue with a categorical approach to multisets. Next, we present fuzzy multisets and their ..."
Abstract
 Add to MetaCart
This paper is an attempt to summarize most things that are related to multiset theory. We begin by describing multisets and the operations between them. Then we present hybrid sets and their operations. We continue with a categorical approach to multisets. Next, we present fuzzy multisets and their operations. Finally, we present partially ordered multisets. 1
Generalized Multisets for Chemical Programming
 MATH. STRUCT. IN COMP. SCIENCE
, 2005
"... Gamma is a programming model where computation can be seen as chemical reactions between data represented as molecules floating in a chemical solution. This model can be formalized as associative, commutative, conditional rewritings of multisets where rewrite rules and multisets represent chemical r ..."
Abstract
 Add to MetaCart
Gamma is a programming model where computation can be seen as chemical reactions between data represented as molecules floating in a chemical solution. This model can be formalized as associative, commutative, conditional rewritings of multisets where rewrite rules and multisets represent chemical reactions and solutions, respectively. In this article, we generalize the notion of multiset used by Gamma and present applications through various programming examples. First, multisets are generalized to include rewrite rules which become firstclass citizen. This extension is formalized by the γcalculus, a chemical model that summarizes in a few rules the essence of higherorder chemical programming. By extending the γcalculus with constants, operators, types and expressive patterns, we build a higherorder chemical programming language called HOCL. Finally, multisets are further generalized by allowing elements to have infinite and negative multiplicities. Semantics, implementation and applications of this extension are considered.
Generalized Multisets for Chemical Programming
"... Publication interne n ˚ 1762 — Novembre 2005 — 26 pages Abstract: Gamma is a programming model where computation can be seen as chemical reactions between data represented as molecules floating in a chemical solution. This model can be formalized as associative, commutative, conditional rewritings o ..."
Abstract
 Add to MetaCart
Publication interne n ˚ 1762 — Novembre 2005 — 26 pages Abstract: Gamma is a programming model where computation can be seen as chemical reactions between data represented as molecules floating in a chemical solution. This model can be formalized as associative, commutative, conditional rewritings of multisets where rewrite rules and multisets represent chemical reactions and solutions, respectively. In this article, we generalize the notion of multiset used by Gamma and present applications through various programming examples. First, multisets are generalized to include rewrite rules which become firstclass citizen. This extension is formalized by the γcalculus, a chemical model that summarizes in a few rules the essence of higherorder chemical programming. By extending the γcalculus with constants, operators, types and expressive patterns, we build a higherorder chemical programming language called HOCL. Finally, multisets are further generalized by allowing elements to have infinite and negative multiplicities. Semantics, implementation and applications of this extension are considered. Keywords: multisets, chemical programming model, rewriting, higherorder, infinite and negative multiplicities (Résumé: tsvp)
A Potpourri of Reason Maintenance Methods Incremental View Maintenance Reconsidered
"... Abstract. We present novel methods to compute changes to materialized views in logic databases like those used by rulebased reasoners. Such reasoners have to address the problem of changing axioms in the presence of materializations of derived atoms. Existing approaches have drawbacks: some require ..."
Abstract
 Add to MetaCart
Abstract. We present novel methods to compute changes to materialized views in logic databases like those used by rulebased reasoners. Such reasoners have to address the problem of changing axioms in the presence of materializations of derived atoms. Existing approaches have drawbacks: some require to generate and evaluate large transformed programs that are in Datalog ¬ while the source program is in Datalog and significantly smaller; some recompute the whole extension of a predicate even if only a small part of this extension is affected by the change. The methods presented in this article overcome these drawbacks and derive additional information useful also for explanation, at the price of an adaptation of the seminaïve forward chaining. 1
On Multiset Topologies
"... In this paper an attempt is made to extend the concept of topological spaces in the context of multisets (mset, for short). The paper begins with basic definitions and operations on msets. The mset space [X] w is the collection of msets whose elements are from X such that no element in the mset occu ..."
Abstract
 Add to MetaCart
In this paper an attempt is made to extend the concept of topological spaces in the context of multisets (mset, for short). The paper begins with basic definitions and operations on msets. The mset space [X] w is the collection of msets whose elements are from X such that no element in the mset occurs more than finite number (w) of times. Different types of collections of msets such as power msets, power whole msets and power full msets which are submsets of the mset space and operations under such collections are defined. The notion of Mtopological space and the concept of open msets are introduced. More precisely, an Mtopology is defined as a set of msets as points. Furthermore the notions of basis, sub basis, closed sets, closure and interior in topological spaces are extended to Mtopological spaces and many related theorems have been proved. The paper concludes with the definition of continuous mset functions and related properties, in particular the comparison of discrete topology and discrete Mtopology are established.