Generalized domination in closure systems

DOI10.1016/J.DAM.2005.04.009zbMATH Open1093.68033OpenAlexW2047430636MaRDI QIDQ2489652FDOQ2489652

Eric Sanjuan, Anne Berry, Alain Sigayret

Publication date: 28 April 2006

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2005.04.009

Recommendations

• Generalized set dominating and separating systems
• Closed domination in graphs
• Generalized dominators
• On extending closure systems to matroids
• A continuous generalization of domination-like invariants
• Generalized closed sets: a unified approach
• A generalization of Vizing's theorem on domination
• Closure systems on \(L\)-ordered sets
• Closure under Convolution of Dominance Relations

zbMATH Keywords

Functional dependenciesGraph TheoryPrime implicatesFinite closure systemsFinite latticesPropositional Horn functions

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Database theory (68P15)

Cites Work

• LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithmic Aspects of Vertex Elimination on Graphs
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
• Title not available (Why is that?)
• Horn functions and their DNFs
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Title not available (Why is that?)
• Two Basic Algorithms in Concept Analysis
• Representing a concept lattice by a graph
• Title not available (Why is that?)
• The poset of closures as a model of changing databases
• Galois lattice as a framework to specify building class hierarchies algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Horn representation of a concept lattice
• The multiple facets of the canonical direct unit implicational basis

Uses Software

• Ltur

This page was built for publication: Generalized domination in closure systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2489652)