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 |
| Tartalmi kivonat: | 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. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 211-248 |
| ISSN: | 0324-721X |