WOLLIC 2010 - PDF Preprint Papers

WOLLIC 2010 Workshop on Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed WOLLIC-2010 Paper

click to vote

WOLLIC
2010
Springer

307views Artificial Intelligence» more WOLLIC 2010»

On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations

12 years 11 months ago

Download slink.foiks.org

Recently, an axiomatization for functional dependencies (FDs) and multivalued dependencies (MVDs) has been established where arbitrary attributes can be speciﬁed as NOT NULL. Tha...

Flavio Ferrarotti, Sven Hartmann, Sebastian Link

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	307	On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations	claim
2	302	Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures	claim
3	295	Modal Logics with Counting	claim
4	265	On Anaphora and the Binding Principles in Categorial Grammar	claim
5	264	Feasible Functions over Co-inductive Data	claim
6	253	A CTL-Based Logic for Program Abstractions	claim
7	248	Mechanisation of PDA and Grammar Equivalence for Context-Free Languages	claim
8	245	Intersection Type Systems and Explicit Substitutions Calculi	claim
9	231	The Two-Variable Fragment with Counting Revisited	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers