Using the set-theoretic approach to formalize the concept of address

International Workshop "Advanced Technologies in Material Science, Mechanical and Automation Engineering – MIP: Engineering – 2019"

材料科学;机械制造;原子能学

Rudakova, G.M.^1 ; Gladkov, S.L.^2 ; Korchevskaya, O.V.^1

Reshetnev Siberian State University of Science and Technology, Krasnoyarsky Rabochy Av. 31, Krasnoyarsk

660037, Russia^1

LLC Aigeo, Office 4-34, 60 years of October ul., Krasnoyarsk

660079, Russia^2

关键词: Attribute values;    Formal definition;    Formal Description;    Formal Semantics;    Georeferencing;    Set-theoretic approach;    Source material;   

Others  :  https://iopscience.iop.org/article/10.1088/1757-899X/537/5/052004/pdf
DOI  :  10.1088/1757-899X/537/5/052004

学科分类：材料科学（综合）

来源: IOP

【 摘 要 】

The paper deals with the problem of using the address as an identifier for the location of the property. A formal description of the common notion of "Address" (building address, citizen registration address, etc.) has been introduced, which can be used in information systems and geo-referencing algorithms. In the article, the address is analyzed as a set of values of details. A formal definition of address is formulated in the space of attribute values. The formal semantics of the introduced concept is presented. The principles are formulated, allowing to use the address as an identifier of objects in databases. The source materials for the article are federal and regional regulations.