Structura relațională
În matematică, prin structură relațională se înțelege o structură matematică ale cărei componente includ o relație matematică sau o funcție sau o familie care nu poate fi considerată o operație algebrică sau o lege a compoziției externe .
Cele mai simple structuri relaționale sunt digrafele , structuri constând doar dintr-un set de susținere și o relație binară în cadrul acelui set. Acestea ar trebui considerate structuri relaționale și grafice nedirecționate , multigrafele , multidigrafi , plurigrafi și pluridigrafi . Alte structuri relaționale sunt îmbogățirea celor precedente obținute prin dotarea lor cu vârfuri și conexiuni cu culori, etichete și valori numerice. Diferitele tipuri de automate și mașini formale care interesează disciplinele de calcul sunt, prin urmare, structuri relaționale: automat cu stare finită , recunoscător Rabin-Scott , ..., mașină Turing .
Alte exemple de structuri relaționale includ seturi ordonate și pre-comenzi .
Termenul este utilizat în principal ca alternativă la termenul de structură algebrică .
Aceste structuri sunt guvernate de axiome care sunt în general mult mai slabe decât cele ale structurilor algebrice și prezintă un interes algoritmic mai degrabă decât clasificare și demonstrație.
