Functional dependencies in relational databases: A lattice point of view

J Demetrovics, L Libkin, IB Muchnik - Discrete Applied Mathematics, 1992 - Elsevier
A lattice theoretic approach is developed to study the properties of functional dependencies
in relational databases. Particular attention is paid to the analysis of the semilattice of closed …

Idempotent distributive semirings II

F Pastijn - Semigroup Forum, 1983 - Springer
In [2] it is shown that every idempotent distributive semiring is the Płonka sum of a
semilattice ordered system of idempotent distributive semirings which satisfy the generalized …

[图书][B] Aspects of partial information in databases

L Libkin - 1994 - search.proquest.com
Abstract Information stored in databases is usually incomplete. Typical sources of partiality
are missing information, conflicts that occur when databases are merged, and asking …

Varieties of birkhoff systems part I

J Harding, AB Romanowska - Order, 2017 - Springer
A Birkhoff system is an algebra that has two binary operations⋅ and+, with each being
commutative, associative, and idempotent, and together satisfying x⋅(x+ y)= x+(x⋅ y) …

Stone-type representations and dualities for varieties of bisemilattices

A Ledda - Studia Logica, 2018 - Springer
In this article we will focus our attention on the variety of distributive bisemilattices and some
linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After …

Functional dependencies and the semilattice of closed classes

J Demetrovics, LO Libkin, IB Muchnik - … , June 26–30, 1989 Proceedings 2, 1989 - Springer
In this paper we present the semilattice-theoretical approach to the investigation of the
relational datamodels. It is known that the poset of closures is a model of changing …

Certain congruences on the semiring of normal tropical matrices

W Deng, B Yu - Linear Algebra and its Applications, 2023 - Elsevier
Certain congruences on the semiring of normal tropical matrices - ScienceDirect Skip to main
contentSkip to article Elsevier logo Journals & Books Search RegisterSign in View PDF …

[图书][B] The logic of Kant's temporal continuum

R Pinosio - 2016 - eprints.illc.uva.nl
In this thesis I provide an account of the philosophical foundations and mathematical
structure of Kant's temporal continuum. I mainly focus on the development of a formalization …

[PDF][PDF] On the structure of subalgebra systems of idempotent entropic algebras

A Romanowska, J Smith - Journal of Algebra, 1989 - core.ac.uk
Contents. 1. Introduction. 2. Semilattices, Plonka sums, and a generalisation. 3. Plonka sums
of idempotent entropic algebras. 4. Decompositions of IEO-semilattices over bisemilattices …

De Morgan-Płonka Sums

T Randriamahazaka - Studia Logica, 2024 - Springer
Abstract This paper develops De Morgan-Płonka sums, which generalise Płonka sums to
contexts in which negation is not topically transparent but still respects De Morgan duality …