Results 1  10
of
20
Semantic Representations And Query Languages For OrSets
 IN PROCEEDINGS OF 12TH ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
, 1993
"... Orsets were introduced by Imielinski, Naqvi and Vadaparty for dealing with limited forms of disjunctive information in database queries. Independently, Rounds used a similar notion for representing disjunctive and conjunctive information in the context of situation theory. In this paper we formulat ..."
Abstract

Cited by 33 (18 self)
 Add to MetaCart
Orsets were introduced by Imielinski, Naqvi and Vadaparty for dealing with limited forms of disjunctive information in database queries. Independently, Rounds used a similar notion for representing disjunctive and conjunctive information in the context of situation theory. In this paper we formulate a query language with adequate expressive power for orsets. Using the notion of normalization of orsets, queries at the "structural" and "conceptual" levels are distinguished. Losslessness of normalization is established for a large class of queries. We have obtained upper bounds for the cost of normalization. An approach related to that of Rounds is used to provide semantics for orsets. We also treat orsets in the context of partial information in databases.
A Semantics for Complex Objects and Approximate Queries
 In Seventh Symposium on the Principles of Database Systems
, 1988
"... A new definition of complex objects is introduced which provides a denotation for incomplete tuples as well as partially described sets. Set values are "sandwiched" between "complete" and "consistent" descriptions (representing the Smyth and Hoare powerdomains respectiv ..."
Abstract

Cited by 26 (0 self)
 Add to MetaCart
A new definition of complex objects is introduced which provides a denotation for incomplete tuples as well as partially described sets. Set values are "sandwiched" between "complete" and "consistent" descriptions (representing the Smyth and Hoare powerdomains respectively), allowing the maximal values to be arbitrary subsets of maximal elements in the domain of the set. We also examine the use of rules in defining queries over such objects. 1 Introduction A characteristic of "complexobject" [1, 2] databases and "higherorder" relations [3, 4] is that the components of tuples are not restricted to taking only atomic values, but may be other tuples or even sets of tuples. A second property of complex objects and related information structures is that there is a natural ordering on the domain of values with an associated algebra [5, 6, 7]. For example, in Bancilhon and Khoshafian's ordering on tuples [1] [Name) 0 J.Doe 0 ] v [Name) 0 J.Doe 0 ;Age)21] This research was suppor...
Domain theory for concurrency
, 2003
"... Concurrent computation can be given an abstract mathematical treatment very similar to that provided for sequential computation by domain theory and denotational semantics of Scott and Strachey. ..."
Abstract

Cited by 23 (6 self)
 Add to MetaCart
Concurrent computation can be given an abstract mathematical treatment very similar to that provided for sequential computation by domain theory and denotational semantics of Scott and Strachey.
Clausal Logic And Logic Programming In Algebraic Domains
 Information and Computation
, 2001
"... . We introduce a domaintheoretic foundation for disjunctive logic programming. This foundation is built on clausal logic, a representation of the Smyth powerdomain of any coherent algebraic dcpo. We establish the completeness of a resolution rule for inference in such a clausal logic; we introdu ..."
Abstract

Cited by 18 (5 self)
 Add to MetaCart
. We introduce a domaintheoretic foundation for disjunctive logic programming. This foundation is built on clausal logic, a representation of the Smyth powerdomain of any coherent algebraic dcpo. We establish the completeness of a resolution rule for inference in such a clausal logic; we introduce a natural declarative semantics and a fixedpoint semantics for disjunctive logic programs, and prove their equivalence; finally, we apply our results to give both a syntax and semantics for default logic in any coherent algebraic dcpo. 1. Introduction Domain theory, as introduced by Scott in the 1970's, has many connections with logic. Such connections are usually made by extracting an appropriate language /syntax from a category of domains. To name a few examples, we have Abramsky's "domain theory in logical form" [Abr91], Scott's own representation of Scott domains as information systems [Sco82], extended to other domains by Zhang [Zha91], and Smyth's treatment of observable prope...
A Semantic Theory for ValuePassing Processes Late Approach  Part I: A Denotational Model and Its Complete Axiomatization
, 1995
"... A general class of languages and denotational models for valuepassing calculi based on the late semantic approach is defined. A concrete instantiation of the general syntax is given. This is a modification of the standard CCS according to the late approach. A denotational model for the concrete ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
A general class of languages and denotational models for valuepassing calculi based on the late semantic approach is defined. A concrete instantiation of the general syntax is given. This is a modification of the standard CCS according to the late approach. A denotational model for the concrete language is given, an instantiation of the general class. An equationally based proof system is defined and shown to be sound and complete with respect to the model.
Topology, Domain Theory and Theoretical Computer Science
, 1997
"... In this paper, we survey the use of ordertheoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of ordertheoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
In this paper, we survey the use of ordertheoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of ordertheoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from concerns that semantics generates. Keywords: Domain theory, Scott topology, power domains, untyped lambda calculus Subject Classification: 06B35,06F30,18B30,68N15,68Q55 1 Introduction Topology has proved to be an essential tool for certain aspects of theoretical computer science. Conversely, the problems that arise in the computational setting have provided new and interesting stimuli for topology. These problems also have increased the interaction between topology and related areas of mathematics such as order theory and topological algebra. In this paper, we outline some of these interactions between topology and theoretical computer science, focusing on those aspects that have been mo...
Constraint Functional Logic Programming Revisited
, 2005
"... In this paper we propose a new generic scheme CFLP (D), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given constraint domain D. As in the case of the well known CLP (D) scheme for Constraint Logic Programming, D is assumed to pr ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
In this paper we propose a new generic scheme CFLP (D), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given constraint domain D. As in the case of the well known CLP (D) scheme for Constraint Logic Programming, D is assumed to provide domain specific data values and constraints. CFLP (D) programs are presented as sets of constrained rewrite rules that define the behaviour of possibly higher order and/or nondeterministic lazy functions over D. As the main novelty w.r.t. previous related work, we present a Constraint Rewriting Logic CRWL(D) which provides a declarative semantics for CFLP (D) programs. This logic relies on a new formalization of constraint domains and program interpretations, which allows a flexible combination of domain specific data values and user defined data constructors, as well as a functional view of constraints.
Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation
 PHD THESIS, UNIV. AARHUS, 2003. BRICS DISSERTATION SERIES
, 2003
"... Nondeterminism is modelled in domain theory by the notion of a powerdomain, while probability is modelled by that of the probabilistic powerdomain. Some problems arise when we want to combine them in order to model computation in which both nondeterminism and probability are present. In particular t ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
Nondeterminism is modelled in domain theory by the notion of a powerdomain, while probability is modelled by that of the probabilistic powerdomain. Some problems arise when we want to combine them in order to model computation in which both nondeterminism and probability are present. In particular there is no categorical distributive law between them. We introduce the powerdomain of indexed valuations which modifies the usual probabilistic powerdomain to take more detailed account of where probabilistic choices are made. We show the existence of a distributive law between the powerdomain of indexed valuations and the nondeterministic powerdomain. By means of an equational theory we give an alternative characterisation of indexed valuations and the distributive law. We study the relation between valuations and indexed valuations. Finally we use indexed valuations to give a semantics to a programming language. This semantics reveals the computational intuition lying behind the mathematics. In the second part of the thesis we provide an operational reading of continuous valuations on certain domains (the distributive concrete domains of Kahn and Plotkin) through the model of probabilistic event structures. Event structures are a model for concurrent computation that account for causal relations between events. We propose a way of adding probabilities to confusion free event structures, defining the notion of probabilistic event structure. This leads to various ideas of a run for probabilistic event structures. We show a confluence theorem for such runs. Configurations of a confusion free event structure form a distributive concrete domain. We give a representation theorem which characterises completely the powerdomain of valuations of such concrete domains in terms of prob...
Rewitzky, Coalgebraic representation of distributive lattices with operators, Topology and its Applications 154
, 2007
"... We present a framework for extending Stone’s representation theorem for distributive lattices to representation theorems for distributive lattices with operators. We proceed by introducing the definition of algebraic theory of operators over distributive lattices. Each such theory induces a functor ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We present a framework for extending Stone’s representation theorem for distributive lattices to representation theorems for distributive lattices with operators. We proceed by introducing the definition of algebraic theory of operators over distributive lattices. Each such theory induces a functor on the category of distributive lattices such that its algebras are exactly the distributive lattices with operators in the original theory. We characterize the topological counterpart of these algebras in terms of suitable coalgebras on spectral spaces. We work out some of these coalgebraic representations, including a new representation theorem for distributive lattices with monotone operators. 1
A Note on Processes for PlanExecution and Powerdomains for PlanComparison
"... This paper proposes a representation for plans and actions based on the algebraic theory of processes. It is argued that the requirements of planexecution are better met by representing actions through the processes by which changes occur than by the more widely used statechange representation. A ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
This paper proposes a representation for plans and actions based on the algebraic theory of processes. It is argued that the requirements of planexecution are better met by representing actions through the processes by which changes occur than by the more widely used statechange representation. A simple algebra of plans, based on processcombinators, is described and shown to be adequate for a wide variety of plans. The implications of this type of planrepresentation are discussed and its advantages for metareasoning (including plancomparison) outlined. This paper presents the theory of processes from the point of view of planning and describes a novel method of plancomparison which draws upon ideas in domain theory. Keywords: Planrepresentation; planexecution; plancomparison; philosophical foundations A note on processes for planexecution and powerdomains for plancomparison David Pym Louise Pryor David Murphy Queen Mary & Westfield College Department of Artificial Intell...