User Extensible Graph Database

Tento dokument zkoumá dostupné algoritmy a software použitelný pro za bránění výskytu isomorfů (strukturních duplikátů) v početné a dále rozšiřitelné množině grafů a pro rozhodování, zda je specifická třída grafů v databázi přítomna kompletně. Pro tyto problémy navrhuje dvě praktická řešení - kanonické značení grafů v databázi pomocí nauty a ad-hoc algoritmus "count all - find superclass" pro poloautomatické rozhodování. Obě implementuje v podobě příspěvku do projektu Web Graph Service na graphs.felk.cvut.czThis document investigates specific algorithms and software available, that could be used for maintaining a large and extensible set of graphs without isomorphs (structural duplicates) and for deciding whether it contains some specific classes of graphs in their entirety. Furthermore, it suggests two practical solutions for these problems - nauty canonical labeling of the database and a "count all - find superclass" semiautomated decisioning ad-hoc algorithm, both of which were contributed to the project of the Web Graph Service on graphs.felk.cvut.c