Simple Rigs Hold Fast
An important use of computational systems is updating the state of an object while preserving some set of invariants. That object might be a file, a row in a database, or perhaps an entry in a distributed system. Its invariants may place limits on its relationships with other objects, and generally...
Gespeichert in:
| Veröffentlicht in: | arXiv.org 2022-08 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | arXiv.org |
| container_volume | |
| creator | Coward, Kris Toliver, D R |
| description | An important use of computational systems is updating the state of an object while preserving some set of invariants. That object might be a file, a row in a database, or perhaps an entry in a distributed system. Its invariants may place limits on its relationships with other objects, and generally include maintaining a unique identity across updates. The system maintaining these invariants is responsible for not equivocating, or presenting conflicting versions of an object. We call this absence of equivocation integrity. Today the system providing integrity to an object also manages its state. Indeed, it has long been assumed that this must be the case, and that only the system managing an object's state can provide it with integrity. We show that this assumption is wrong. Objects can maintain the integrity of one system while having their state fully managed by another. |
| format | Article |
| fullrecord | <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2708085752</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2708085752</sourcerecordid><originalsourceid>FETCH-proquest_journals_27080857523</originalsourceid><addsrcrecordid>eNpjYuA0MjY21LUwMTLiYOAtLs4yMDAwMjM3MjU15mQQDc7MLchJVQjKTC9W8MjPSVFwSywu4WFgTUvMKU7lhdLcDMpuriHOHroFRfmFpanFJfFZ-aVFeUCpeCNzAwsDC1NzUyNj4lQBAJTbKGY</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2708085752</pqid></control><display><type>article</type><title>Simple Rigs Hold Fast</title><source>Free E- Journals</source><creator>Coward, Kris ; Toliver, D R</creator><creatorcontrib>Coward, Kris ; Toliver, D R</creatorcontrib><description>An important use of computational systems is updating the state of an object while preserving some set of invariants. That object might be a file, a row in a database, or perhaps an entry in a distributed system. Its invariants may place limits on its relationships with other objects, and generally include maintaining a unique identity across updates. The system maintaining these invariants is responsible for not equivocating, or presenting conflicting versions of an object. We call this absence of equivocation integrity. Today the system providing integrity to an object also manages its state. Indeed, it has long been assumed that this must be the case, and that only the system managing an object's state can provide it with integrity. We show that this assumption is wrong. Objects can maintain the integrity of one system while having their state fully managed by another.</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Computer networks ; Data base management systems ; Integrity ; Invariants</subject><ispartof>arXiv.org, 2022-08</ispartof><rights>2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>780,784</link.rule.ids></links><search><creatorcontrib>Coward, Kris</creatorcontrib><creatorcontrib>Toliver, D R</creatorcontrib><title>Simple Rigs Hold Fast</title><title>arXiv.org</title><description>An important use of computational systems is updating the state of an object while preserving some set of invariants. That object might be a file, a row in a database, or perhaps an entry in a distributed system. Its invariants may place limits on its relationships with other objects, and generally include maintaining a unique identity across updates. The system maintaining these invariants is responsible for not equivocating, or presenting conflicting versions of an object. We call this absence of equivocation integrity. Today the system providing integrity to an object also manages its state. Indeed, it has long been assumed that this must be the case, and that only the system managing an object's state can provide it with integrity. We show that this assumption is wrong. Objects can maintain the integrity of one system while having their state fully managed by another.</description><subject>Computer networks</subject><subject>Data base management systems</subject><subject>Integrity</subject><subject>Invariants</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><recordid>eNpjYuA0MjY21LUwMTLiYOAtLs4yMDAwMjM3MjU15mQQDc7MLchJVQjKTC9W8MjPSVFwSywu4WFgTUvMKU7lhdLcDMpuriHOHroFRfmFpanFJfFZ-aVFeUCpeCNzAwsDC1NzUyNj4lQBAJTbKGY</recordid><startdate>20220808</startdate><enddate>20220808</enddate><creator>Coward, Kris</creator><creator>Toliver, D R</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20220808</creationdate><title>Simple Rigs Hold Fast</title><author>Coward, Kris ; Toliver, D R</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_27080857523</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Computer networks</topic><topic>Data base management systems</topic><topic>Integrity</topic><topic>Invariants</topic><toplevel>online_resources</toplevel><creatorcontrib>Coward, Kris</creatorcontrib><creatorcontrib>Toliver, D R</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Coward, Kris</au><au>Toliver, D R</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>Simple Rigs Hold Fast</atitle><jtitle>arXiv.org</jtitle><date>2022-08-08</date><risdate>2022</risdate><eissn>2331-8422</eissn><abstract>An important use of computational systems is updating the state of an object while preserving some set of invariants. That object might be a file, a row in a database, or perhaps an entry in a distributed system. Its invariants may place limits on its relationships with other objects, and generally include maintaining a unique identity across updates. The system maintaining these invariants is responsible for not equivocating, or presenting conflicting versions of an object. We call this absence of equivocation integrity. Today the system providing integrity to an object also manages its state. Indeed, it has long been assumed that this must be the case, and that only the system managing an object's state can provide it with integrity. We show that this assumption is wrong. Objects can maintain the integrity of one system while having their state fully managed by another.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | EISSN: 2331-8422 |
| ispartof | arXiv.org, 2022-08 |
| issn | 2331-8422 |
| language | eng |
| recordid | cdi_proquest_journals_2708085752 |
| source | Free E- Journals |
| subjects | Computer networks Data base management systems Integrity Invariants |
| title | Simple Rigs Hold Fast |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-29T08%3A18%3A37IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=Simple%20Rigs%20Hold%20Fast&rft.jtitle=arXiv.org&rft.au=Coward,%20Kris&rft.date=2022-08-08&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E2708085752%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2708085752&rft_id=info:pmid/&rfr_iscdi=true |