Results 1  10
of
22
Characterization of desirable properties of general database decompositions
 Ann. Math. Art. Intell
, 1993
"... This paper appears in a special issue on database theory of the Annals of Mathematics ..."
Abstract

Cited by 11 (6 self)
 Add to MetaCart
(Show Context)
This paper appears in a special issue on database theory of the Annals of Mathematics
NonBoolean Descriptions for MindMatter Problems
"... A framework for the mindmatter problem in a holistic universe which has no parts is outlined. The conceptual structure of modern quantum theory suggests to use complementary Boolean descriptions as elements for a more comprehensive nonBoolean description of a world without an apriorigiven mindmat ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
(Show Context)
A framework for the mindmatter problem in a holistic universe which has no parts is outlined. The conceptual structure of modern quantum theory suggests to use complementary Boolean descriptions as elements for a more comprehensive nonBoolean description of a world without an apriorigiven mindmatter distinction. Such a description in terms of a locally Boolean but globally nonBoolean structure makes allowance for the fact that Boolean descriptions play a privileged role in science. If we accept the insight that there are no ultimate building blocks, the existence of holistic correlations between contextually chosen parts is a natural consequence. The main problem of a genuinely nonBoolean description is to find an appropriate partition of the universe of discourse. If we adopt the idea that all fundamental laws of physics are invariant under time translations, then we can consider a partition of the world into a tenseless and a tensed domain. In the sense of a regulative principle, the material domain is defined as the tenseless domain with its homogeneous time. The tensed domain contains the mental domain with a tensed time characterized by a privileged position, the Now. Since this partition refers to two complementary descriptions which are not given apriori,wehavetoexpectcorrelations between these two domains. In physics it corresponds to Newton’s separation of universal laws of nature and contingent initial conditions. Both descriptions have a nonBoolean structure and can be encompassed into a single nonBoolean description. Tensed and tenseless time can be synchronized by holistic correlations. 1.
Decomposition of relational schemata into components defined by both projection and restriction
 ACM SIGACTSIGMOSSIGART Sym
, 1988
"... A generalized approach to the decomposition of relational schemata is developed in which the component views may be defined using both restriction and projection operators, thus admitting both horizontal and vertical decompositions. The realization of restrictions is enabled through the use of a Boo ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
(Show Context)
A generalized approach to the decomposition of relational schemata is developed in which the component views may be defined using both restriction and projection operators, thus admitting both horizontal and vertical decompositions. The realization of restrictions is enabled through the use of a Boolean algebra of types, while true independence of projections is modelled by permitting null values in the base schema. The flavor of the approach is algebraic, with the the collection of all candidate views of a decomposition modelled within a latticelike framework, and the actual decompositions arising as Boolean subalgebras. Central to the framework is the notion of bidimensional join dependency, which generalizes the classical notion of join dependency by allowing the components of the join to be selected horizontally as well as vertically. Several properties of such dependencies are presented, including a generalization of many of the classical results known to be equivalent to schema acyclicity. Finally, a characterization of the nature of dependencies which participate in decompositions is presented. It is shown that there are two major types, the bidimensional join dependencies, which are tuple generating and allow tuple removal by implicit encoding of knowledge, and splitting dependencies, which simply partition the database
Geometric Identities in Lattice Theory
"... An Arguesian identity is an identity in GrassmannCayley algebras with certain multilinear properties of expressions in joins and meets of vectors and covectors. Many classical theorems of projective geometry and their generalizations to higher dimensions can be expressed as simple and elegant Argu ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
An Arguesian identity is an identity in GrassmannCayley algebras with certain multilinear properties of expressions in joins and meets of vectors and covectors. Many classical theorems of projective geometry and their generalizations to higher dimensions can be expressed as simple and elegant Arguesian identities. In a previous work we showed that an Arguesian identity can be unfolded with respect to a vector variable to get a lattice inequality, which holds in various lattices. In this paper, we extend this technique to an arbitrary variable. We prove that for any variable v of an Arguesian identity I , a lattice inequality can be obtained by unfolding I with respect to the variable v. This inequality and its dual are valid in the class of linear lattices if the identity is of order 2, and in the congruence variety of Abelian groups if the identity is of a higher order. Consequently, we obtain a family of lattice identities which are selfdual over the class of linear lattices. In p...
The Logic of Partitions: Introduction to the Dual of the Logic of Subsets
, 2009
"... ..."
(Show Context)
On the Structure of QuasiOrdering Lattices
"... We investigate the structure of the I) of all quasiorderings on a set I. We describe a natural set of the so called fundamental inequalities defining all minimal inequalities in \Omega\Gamma I) and develop an axiomatic characterization of \Omega\Gamma I). We further describe the automorphism gr ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We investigate the structure of the I) of all quasiorderings on a set I. We describe a natural set of the so called fundamental inequalities defining all minimal inequalities in \Omega\Gamma I) and develop an axiomatic characterization of \Omega\Gamma I). We further describe the automorphism group of \Omega\Gamma I).
Invariance Properties of the ConstantComplement ViewUpdate Strategy
"... Abstract. The constantcomplement approach is one of the principal strategies for defining the reflections of database view updates. The purpose of this paper is twofold. First, a selfcontained presentation of the strategy itself is given. Second, two fundamental invariance problems are examined. I ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. The constantcomplement approach is one of the principal strategies for defining the reflections of database view updates. The purpose of this paper is twofold. First, a selfcontained presentation of the strategy itself is given. Second, two fundamental invariance problems are examined. In admissibility invariance, the question of when the translatability of a view update is independent of the view state is considered. In reflection invariance, the question of when a view update is independent of the choice of complement is considered. In addition to a summary of existing results for both forms of invariance, new results for reflection invariance are presented. 1
THE JOSEPH GREENBERG PROBLEM: COMBINATORICS AND COMPARATIVE LINGUISTICS
"... In 1957, the eminent linguist Joseph H. Greenberg (1915–2001) proposed the method of Mass comparison (also known as multilateral comparison) for determining genetic relatedness between languages [Gr57a]. I first learned about his work though the PBS/BBC ..."
Abstract
 Add to MetaCart
(Show Context)
In 1957, the eminent linguist Joseph H. Greenberg (1915–2001) proposed the method of Mass comparison (also known as multilateral comparison) for determining genetic relatedness between languages [Gr57a]. I first learned about his work though the PBS/BBC