| DC Field | Value | Language |
|---|
| dc.contributor.author | Григорович, А. | - |
| dc.contributor.author | Григорович, В. | - |
| dc.date.accessioned | 2014-01-24T12:51:30Z | - |
| dc.date.available | 2014-01-24T12:51:30Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.citation | Григорович А. Еквівалентність виразів реляційного числення доменів для ненормалізованих відношень та розширеної реляційної алгебри / А. Григорович, В. Григорович // Вісник Національного університету "Львівська політехніка". – 2013. – № 751 : Комп’ютерні науки та інформаційні технології. – С. 292–299. – Бібліографія: 8 назв. | uk_UA |
| dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/22786 | - |
| dc.description.abstract | Введено означення безпечного виразу реляційного числення доменів для ненормалізованих відношень, доведено теореми про еквівалентність виразів числення доменів для ненормалізованих відношень та виразів розширеної реляційної алгебри. Для доведення теорем використано метод математичної індукції. The article introduces the definition of safe expression of the domain relational calculus for nested relations, proves theorems on equivalence of the expressions of the domain relational calculus for the nested relations and of the extension of relational algebra. There is used the method of mathematical induction for proving theorems. | uk_UA |
| dc.language.iso | ua | uk_UA |
| dc.publisher | Видавництво Львівської політехніки | uk_UA |
| dc.subject | ненормалізовані відношення | uk_UA |
| dc.subject | розширена реляційна алгебра | uk_UA |
| dc.subject | числення доменів для ненормалізованих відношень | uk_UA |
| dc.subject | безпечний вираз | uk_UA |
| dc.subject | nested relations | uk_UA |
| dc.subject | extended relational algebra | uk_UA |
| dc.subject | domain relational calculus for nested relations | uk_UA |
| dc.subject | safe expression | uk_UA |
| dc.title | Еквівалентність виразів реляційного числення доменів для ненормалізованих відношень та розширеної реляційної алгебри | uk_UA |
| dc.type | Article | uk_UA |
| Appears in Collections: | Комп'ютерні науки та інформаційні технології. – 2013. – №751
|
