2025-02-23T05:43:00-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-126376%22&qt=morelikethis&rows=5
2025-02-23T05:43:00-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-126376%22&qt=morelikethis&rows=5
2025-02-23T05:43:00-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T05:43:00-05:00 DEBUG: Deserialized SOLR response

Алгебри квазіарних та бі-квазіарних реляцій

Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на...

Full description

Saved in:
Bibliographic Details
Main Authors: Нікітченко, М.С., Шкільняк, С.С.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2016
Series:Проблеми програмування
Subjects:
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/126376
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на множинах пар квазіарних реляцій. Визначено різні підкласи таких алгебр та досліджено їх зв’язки з алгебрами часткових однозначних, тотальних неоднозначних, часткових неоднозначних, монотонних, антитонних квазіарних предикатів.