Specification of real-time distributed database systems
A unified framework is given for the specification of external consistency constraints, integrity constraints, and temporal consistency constraints of a real-time distributed database system. The formalism is event based and facilitates both relative and quantitative reasoning about time. The functi...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 106 |
|---|---|
| container_issue | |
| container_start_page | 101 |
| container_title | |
| container_volume | |
| creator | Ramanathan, G. Alagar, V.S. |
| description | A unified framework is given for the specification of external consistency constraints, integrity constraints, and temporal consistency constraints of a real-time distributed database system. The formalism is event based and facilitates both relative and quantitative reasoning about time. The functional model of V.S. Alagar and G. Ramanathan (1991) is extended with constructs needed to specify the requirements of real-time databases. To illustrate the use of these constructs, the specification and proof of correctness of a real-time concurrency control protocol are presented.< > |
| doi_str_mv | 10.1109/CMPEUR.1992.218479 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_218479</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>218479</ieee_id><sourcerecordid>218479</sourcerecordid><originalsourceid>FETCH-LOGICAL-i89t-570f4810c9cb00bbaa6a7d927feda4abd274787e0050eb6818faa9f7222383753</originalsourceid><addsrcrecordid>eNotj8tqwzAQRQWl0JL6B7LSD9gdybZGWhaTPiClpUnWYWSNQCVugqUu8vcNpHdzdodzhVgqaJQC9zi8f652X41yTjda2Q7djagcWrDKGo0GzJ2ocv6Gy7peOdvfC9yceEwxjVTS8Uceo5yZDnVJE8uQcpmT_y0cZKBCnjLLfM6Fp_wgbiMdMlf_XIjt82o7vNbrj5e34WldJ-tK3SPEzioY3egBvCcyhMFpjByoIx80dmiRAXpgby6dkchF1Fq3tsW-XYjlVZuYeX-a00TzeX891_4B3t5Feg</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Specification of real-time distributed database systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Ramanathan, G. ; Alagar, V.S.</creator><creatorcontrib>Ramanathan, G. ; Alagar, V.S.</creatorcontrib><description>A unified framework is given for the specification of external consistency constraints, integrity constraints, and temporal consistency constraints of a real-time distributed database system. The formalism is event based and facilitates both relative and quantitative reasoning about time. The functional model of V.S. Alagar and G. Ramanathan (1991) is extended with constructs needed to specify the requirements of real-time databases. To illustrate the use of these constructs, the specification and proof of correctness of a real-time concurrency control protocol are presented.< ></description><identifier>ISBN: 9780818627606</identifier><identifier>ISBN: 0818627603</identifier><identifier>DOI: 10.1109/CMPEUR.1992.218479</identifier><language>eng</language><publisher>IEEE Comput. Soc. Press</publisher><subject>Computer science ; Concurrency control ; Database systems ; Information processing ; Logic ; Protocols ; Real time systems ; Scheduling algorithm ; Timing ; Transaction databases</subject><ispartof>CompEuro 1992 Proceedings Computer Systems and Software Engineering, 1992, p.101-106</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/218479$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>310,311,781,785,790,791,2059,4051,4052,27927,54922</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/218479$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Ramanathan, G.</creatorcontrib><creatorcontrib>Alagar, V.S.</creatorcontrib><title>Specification of real-time distributed database systems</title><title>CompEuro 1992 Proceedings Computer Systems and Software Engineering</title><addtitle>CMPEUR</addtitle><description>A unified framework is given for the specification of external consistency constraints, integrity constraints, and temporal consistency constraints of a real-time distributed database system. The formalism is event based and facilitates both relative and quantitative reasoning about time. The functional model of V.S. Alagar and G. Ramanathan (1991) is extended with constructs needed to specify the requirements of real-time databases. To illustrate the use of these constructs, the specification and proof of correctness of a real-time concurrency control protocol are presented.< ></description><subject>Computer science</subject><subject>Concurrency control</subject><subject>Database systems</subject><subject>Information processing</subject><subject>Logic</subject><subject>Protocols</subject><subject>Real time systems</subject><subject>Scheduling algorithm</subject><subject>Timing</subject><subject>Transaction databases</subject><isbn>9780818627606</isbn><isbn>0818627603</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1992</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj8tqwzAQRQWl0JL6B7LSD9gdybZGWhaTPiClpUnWYWSNQCVugqUu8vcNpHdzdodzhVgqaJQC9zi8f652X41yTjda2Q7djagcWrDKGo0GzJ2ocv6Gy7peOdvfC9yceEwxjVTS8Uceo5yZDnVJE8uQcpmT_y0cZKBCnjLLfM6Fp_wgbiMdMlf_XIjt82o7vNbrj5e34WldJ-tK3SPEzioY3egBvCcyhMFpjByoIx80dmiRAXpgby6dkchF1Fq3tsW-XYjlVZuYeX-a00TzeX891_4B3t5Feg</recordid><startdate>1992</startdate><enddate>1992</enddate><creator>Ramanathan, G.</creator><creator>Alagar, V.S.</creator><general>IEEE Comput. Soc. Press</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1992</creationdate><title>Specification of real-time distributed database systems</title><author>Ramanathan, G. ; Alagar, V.S.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i89t-570f4810c9cb00bbaa6a7d927feda4abd274787e0050eb6818faa9f7222383753</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1992</creationdate><topic>Computer science</topic><topic>Concurrency control</topic><topic>Database systems</topic><topic>Information processing</topic><topic>Logic</topic><topic>Protocols</topic><topic>Real time systems</topic><topic>Scheduling algorithm</topic><topic>Timing</topic><topic>Transaction databases</topic><toplevel>online_resources</toplevel><creatorcontrib>Ramanathan, G.</creatorcontrib><creatorcontrib>Alagar, V.S.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Ramanathan, G.</au><au>Alagar, V.S.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Specification of real-time distributed database systems</atitle><btitle>CompEuro 1992 Proceedings Computer Systems and Software Engineering</btitle><stitle>CMPEUR</stitle><date>1992</date><risdate>1992</risdate><spage>101</spage><epage>106</epage><pages>101-106</pages><isbn>9780818627606</isbn><isbn>0818627603</isbn><abstract>A unified framework is given for the specification of external consistency constraints, integrity constraints, and temporal consistency constraints of a real-time distributed database system. The formalism is event based and facilitates both relative and quantitative reasoning about time. The functional model of V.S. Alagar and G. Ramanathan (1991) is extended with constructs needed to specify the requirements of real-time databases. To illustrate the use of these constructs, the specification and proof of correctness of a real-time concurrency control protocol are presented.< ></abstract><pub>IEEE Comput. Soc. Press</pub><doi>10.1109/CMPEUR.1992.218479</doi><tpages>6</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9780818627606 |
| ispartof | CompEuro 1992 Proceedings Computer Systems and Software Engineering, 1992, p.101-106 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_218479 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Computer science Concurrency control Database systems Information processing Logic Protocols Real time systems Scheduling algorithm Timing Transaction databases |
| title | Specification of real-time distributed database systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-17T16%3A42%3A49IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Specification%20of%20real-time%20distributed%20database%20systems&rft.btitle=CompEuro%201992%20Proceedings%20Computer%20Systems%20and%20Software%20Engineering&rft.au=Ramanathan,%20G.&rft.date=1992&rft.spage=101&rft.epage=106&rft.pages=101-106&rft.isbn=9780818627606&rft.isbn_list=0818627603&rft_id=info:doi/10.1109/CMPEUR.1992.218479&rft_dat=%3Cieee_6IE%3E218479%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=218479&rfr_iscdi=true |