Formális fogalmakra épülő állománykezelő rendszer

Absztrakt

Az állomány- és dokumentumkezelésnek kulcsfontosságú szerepe van az informatikában. Ugyan a cél egy általánosan használható állomány szintű adatszervezési mód megvalósítása, a jelen munka mégis elsősorban egy alternatív adatszervezési- és visszakeresési módszerrel foglalkozik. A javasolt megoldás formális fogalmakat használ jegyzékek és a szigorúan hierarchikus osztályozási mód helyett. Ez a megközelítés számos problémát megold (mint például az átfedéses kategóriák, vagy a szükségtelen redundancia kezelését), de új technikák használata szükséges a rendszer felhasználóbarát kialakításához. A formális fogalomelemzés tárgyköre adja a szükséges matematikai modelleket, a rendszer elvi hátterét.