Results 1  10
of
26
Domain Theory
 Handbook of Logic in Computer Science
, 1994
"... Least fixpoints as meanings of recursive definitions. ..."
Abstract

Cited by 458 (20 self)
 Add to MetaCart
Least fixpoints as meanings of recursive definitions.
HistogramBased Approximation of SetValued Query Answers
 In Proceedings of the 25th VLDB Conference
, 1999
"... Answering queries approximately has recently been proposed as a way to reduce query response times in online decision support systems, when the precise answer is not necessary or early feedback is helpful. Most of the work in this area uses samplingbased techniques and handles aggregate quer ..."
Abstract

Cited by 77 (2 self)
 Add to MetaCart
Answering queries approximately has recently been proposed as a way to reduce query response times in online decision support systems, when the precise answer is not necessary or early feedback is helpful. Most of the work in this area uses samplingbased techniques and handles aggregate queries, ignoring queries that return relations as answers. In this paper, we extend the scope of approximate query answering to general queries. We propose a novel and intuitive error measure for quantifying the error in an approximate query answer, which can be a multiset in general.
Anytime Deduction for Probabilistic Logic
 Artif. Intell
, 1994
"... This paper proposes and investigates an approach to deduction in probabilistic logic, using as its medium a language that generalizes the propositional version of Nilsson's probabilistic logic by incorporating conditional probabilities. Unlike many other approaches to deduction in probabilistic ..."
Abstract

Cited by 62 (1 self)
 Add to MetaCart
This paper proposes and investigates an approach to deduction in probabilistic logic, using as its medium a language that generalizes the propositional version of Nilsson's probabilistic logic by incorporating conditional probabilities. Unlike many other approaches to deduction in probabilistic logic, this approach is based on inference rules and therefore can produce proofs to explain how conclusions are drawn. We show how these rules can be incorporated into an anytime deduction procedure that proceeds by computing increasingly narrow probability intervals that contain the tightest entailed probability interval. Since the procedure can be stopped at any time to yield partial information concerning the probability range of any entailed sentence, one can make a tradeoff between precision and computation time. The deduction method presented here contrasts with other methods whose ability to perform logical reasoning is either limited or requires finding all truth assignments consistent ...
Fast approximate answers to aggregate queries on a data cube. International working conference on scientific and statistical database management
, 1999
"... ..."
Power Domain Constructions
 SCIENCE OF COMPUTER PROGRAMMING
, 1998
"... The variety of power domain constructions proposed in the literature is put into a general algebraic framework. Power constructions are considered algebras on a higher level: for every ground domain, there is a power domain whose algebraic structure is specified by means of axioms concerning the alg ..."
Abstract

Cited by 23 (9 self)
 Add to MetaCart
The variety of power domain constructions proposed in the literature is put into a general algebraic framework. Power constructions are considered algebras on a higher level: for every ground domain, there is a power domain whose algebraic structure is specified by means of axioms concerning the algebraic properties of the basic operations empty set, union, singleton, and extension of functions. A host of derived operations is introduced and investigated algebraically. Every power construction is shown to be equipped with a characteristic semiring such that the resulting power domains become semiring modules. Power homomorphisms are introduced as a means to relate different power constructions. They also allow to define the notion of initial and final constructions for a fixed characteristic semiring. Such initial and final constructions are shown to exist for every semiring, and their basic properties are derived. Finally, the known power constructions are put into the general framewo...
A multiresolution relational data model
 In Proc. 18th Int. Conf. Very Large Data Bases
, 1992
"... The use of data at different levels of information content is essential to the performance of multimedia, scientific, and other large databases because it can significantly decrease I/O and communication costs. ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
The use of data at different levels of information content is essential to the performance of multimedia, scientific, and other large databases because it can significantly decrease I/O and communication costs.
Probabilistic Domains
 in Proc. CAAP ’94, LNCS
, 1997
"... We show the equivalence of several different axiomatizations of the notion of (abstract) probabilistic domain in the category of dcpo's and continuous functions. The axiomatization with the richest set of operations provides probabilistic selection among a finite number of possibilities with a ..."
Abstract

Cited by 22 (4 self)
 Add to MetaCart
We show the equivalence of several different axiomatizations of the notion of (abstract) probabilistic domain in the category of dcpo's and continuous functions. The axiomatization with the richest set of operations provides probabilistic selection among a finite number of possibilities with arbitrary probabilities, whereas the poorest one has binary choice with equal probabilities as the only operation. The remaining theories lie in between; one of them is the theory of binary choice by Graham [1]. 1 Introduction A probabilistic programming language could contain different kinds of language constructs to express probabilistic choice. In a rather poor language, there might be a construct x \Phi y, whose semantics is a choice between the two possibilities x and y with equal probabilities 1=2. The `possibilities' x and y can be statements in an imperative language or expressions in a functional language. A quite rich language could contain a construct [p 1 : x 1 ; : : : ; p n : x n ],...
Power Domains and Second Order Predicates
 THEORETICAL COMPUTER SCIENCE
, 1993
"... Lower, upper, sandwich, mixed, and convex power domains are isomorphic to domains of second order predicates mapping predicates on the ground domain to logical values in a semiring. The various power domains differ in the nature of the underlying semiring logic and in logical constraints on the seco ..."
Abstract

Cited by 13 (7 self)
 Add to MetaCart
Lower, upper, sandwich, mixed, and convex power domains are isomorphic to domains of second order predicates mapping predicates on the ground domain to logical values in a semiring. The various power domains differ in the nature of the underlying semiring logic and in logical constraints on the second order predicates.
Use of Imprecise Computation to Enhance Dependability of RealTime Systems
 IN FOUNDATIONS OF DEPENDABLE COMPUTING: PARADIGMS
, 1994
"... In a system based on the imprecisecomputation technique, each timecritical task is designed in such a way that it can produce a usable, approximate result in time whenever a failure or overload prevents it from producing the desired, precise result. This section describes ways to use this techn ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
In a system based on the imprecisecomputation technique, each timecritical task is designed in such a way that it can produce a usable, approximate result in time whenever a failure or overload prevents it from producing the desired, precise result. This section describes ways to use this technique together with traditional faulttolerance methods to reduce the costs of providing fault tolerance andenhancedavailability. Specifically, an imprecise mechanism for the generation and use of approximate results can be integrated in a natural way with traditional checkpointing and replication mechanisms. Algorithms and process structures for this integration and rules for determining when approximate results can be used in place of the desired results are discussed.
Outer Joins and Filters for Instantiating Objects from Relational Databases through Views
 IEEE Trans. Know. Data Engineering
, 1990
"... One of the approaches for integrating objectoriented programs with databases is to instantiate objects from relational databases by evaluating view queries. In that approach, it is often necessary to evaluate some joins of the query by left outer joins to prevent information loss caused by the tupl ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
One of the approaches for integrating objectoriented programs with databases is to instantiate objects from relational databases by evaluating view queries. In that approach, it is often necessary to evaluate some joins of the query by left outer joins to prevent information loss caused by the tuples discarded by inner joins. It is also necessary to filter some relations with selection conditions to prevent the retrieval of unwanted nulls. The system should automatically prescribe joins as inner or left outer joins and generate the filters, rather than letting them be specified manually for every view definition. We develop such a mechanism in this paper. We first develop a rigorous system model to facilitate the mapping between an objectoriented model and the relational model. The system model provides a welldefined context for developing a simple mechanism. The mechanism requires only one piece of information from users: null options on an object attribute. The semantics of these ...