The logic of aggregated data
A notion of generalization-specialization is introduced that is more expressive than the usual notion from, e.g., the UML or RDF-based languages. This notion is incorporated in a typed formal language for modeling aggregated data. Soundness with respect to a sets-and-functions semantics is shown sub...
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2019
|
| Sorozat: | Acta cybernetica
24 No. 2 |
| Kulcsszavak: | Matematikai modell, Információ modellezés |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.24.2.2019.4 |
| Online Access: | http://acta.bibl.u-szeged.hu/64710 |
| LEADER | 01459nab a2200241 i 4500 | ||
|---|---|---|---|
| 001 | acta64710 | ||
| 005 | 20220621085739.0 | ||
| 008 | 200317s2019 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 024 | 7 | |a 10.14232/actacyb.24.2.2019.4 |2 doi | |
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Gelsema Tjalling | |
| 245 | 1 | 4 | |a The logic of aggregated data |h [elektronikus dokumentum] / |c Gelsema Tjalling |
| 260 | |c 2019 | ||
| 300 | |a 211-248 | ||
| 490 | 0 | |a Acta cybernetica |v 24 No. 2 | |
| 520 | 3 | |a A notion of generalization-specialization is introduced that is more expressive than the usual notion from, e.g., the UML or RDF-based languages. This notion is incorporated in a typed formal language for modeling aggregated data. Soundness with respect to a sets-and-functions semantics is shown subsequently. Finally, a notion of congruence is introduced. With it terms in the language that have identical semantics, i.e., synonyms, can be discovered. The resulting formal language is well-suited for capturing faithfully aggregated data in such a way that it can serve as the foundation for corporate metadata management in a statistical office. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Matematika | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Matematikai modell, Információ modellezés | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/64710/1/cybernetica_024_numb_002_211-248.pdf |z Dokumentum-elérés |