arXiv Open Access 2015

A Finite Axiomatization of G-Dependence

Gianluca Paolini

Lihat Sumber

Abstrak

We show that a form of dependence known as G-dependence (originally introduced by Grelling) admits a very natural finite axiomatization, as well as Armstrong relations. We also give an explicit translation between functional dependence and G-dependence.

Topik & Kata Kunci

math.LO

Penulis (1)

Gianluca Paolini

Format Sitasi

APA MLA BibTeX

Paolini, G. (2015). A Finite Axiomatization of G-Dependence. https://arxiv.org/abs/1512.04728

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2015
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓