Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems
Tabular Systems constitute a particular form of rule-based systems. They follow the pattern of Relational Databases and Attributive Decision Tables. In Extended Tabular Systems non-atomic values of attributes are allowed. In order to assure safe, reliable and efficient performance of such systems, a...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buchkapitel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 431 |
|---|---|
| container_issue | |
| container_start_page | 422 |
| container_title | |
| container_volume | 2113 |
| creator | Ligęza, Antoni Wojnicki, Igor Nalepa, Grzegorz J. |
| description | Tabular Systems constitute a particular form of rule-based systems. They follow the pattern of Relational Databases and Attributive Decision Tables. In Extended Tabular Systems non-atomic values of attributes are allowed. In order to assure safe, reliable and efficient performance of such systems, analysis and verification of selected qualitative properties such as completeness, consistency and determinism should be carried out. However, verification of them after the design of a system is both costly and late. In this paper another solution is proposed. A graphical CASE-like tool supporting the design of Extended Tabular Systems and providing verification possibilities is presented. The tool uses a new rule specification paradigm: the so-called tab-trees, covering the advantages of Attributive Decision Tables and Decision Trees. In the system the verification stage is moved into the design process. The background theory and the idea of tab-trees are outlined and presentation of a practical tool, the Osiris System, is carried out. |
| doi_str_mv | 10.1007/3-540-44759-8_42 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_14044254</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3073063_49_440</sourcerecordid><originalsourceid>FETCH-LOGICAL-p268t-8b6f98ee387ee131dcd351969d0eb809eb5d00b012b17648f36f8491e6062833</originalsourceid><addsrcrecordid>eNotkLtv2zAQh9kn4qTeO3LpyPTIIymym-G4SQADGaKdoKST7VaWXFIB4v--8uOWA36v4WPsu4R7CVD8RGE0CK0L44ULWn1gtzgpZ8F9ZDNppRSI2n9ic1-4s6eMKvRnNgMEJXyh8SubeeOMBVDuhs1z_gPToVLayBlblLESZSLKv_iCLxevK14OQ8fbIfFxS_yB8m7T86Hlq_eR-oYaPjXeupj46zGPtM_f2Jc2dpnm13_Hyt-rcvkk1i-Pz8vFWhyUdaNwlW29I0JXEEmUTd2gkd76Bqhy4KkyDUAFUlWysNq1aFunvSQLVjnEO_bjMnuIuY5dm2Jf73I4pN0-pmOQJyzK6Cl3f8nlyeo3lEI1DH9zkBBOTAOGiVI4IwwnplMBr8Np-PdGeQx0atTUjyl29TYeRko5IBQIFoP2UxnwP3sAcOQ</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3073063_49_440</pqid></control><display><type>book_chapter</type><title>Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems</title><source>Springer Books</source><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Ligęza, Antoni ; Wojnicki, Igor ; Nalepa, Grzegorz J.</creator><contributor>Quirchmayr, Gerald ; Lazansky, Jiri ; Mayr, Heinrich C ; Vogel, Pavel ; Vogel, Pavel ; Quirchmayr, Gerald ; Lazansky, Jiri ; Mayr, Heinrich C.</contributor><creatorcontrib>Ligęza, Antoni ; Wojnicki, Igor ; Nalepa, Grzegorz J. ; Quirchmayr, Gerald ; Lazansky, Jiri ; Mayr, Heinrich C ; Vogel, Pavel ; Vogel, Pavel ; Quirchmayr, Gerald ; Lazansky, Jiri ; Mayr, Heinrich C.</creatorcontrib><description>Tabular Systems constitute a particular form of rule-based systems. They follow the pattern of Relational Databases and Attributive Decision Tables. In Extended Tabular Systems non-atomic values of attributes are allowed. In order to assure safe, reliable and efficient performance of such systems, analysis and verification of selected qualitative properties such as completeness, consistency and determinism should be carried out. However, verification of them after the design of a system is both costly and late. In this paper another solution is proposed. A graphical CASE-like tool supporting the design of Extended Tabular Systems and providing verification possibilities is presented. The tool uses a new rule specification paradigm: the so-called tab-trees, covering the advantages of Attributive Decision Tables and Decision Trees. In the system the verification stage is moved into the design process. The background theory and the idea of tab-trees are outlined and presentation of a practical tool, the Osiris System, is carried out.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540425274</identifier><identifier>ISBN: 3540425276</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540447598</identifier><identifier>EISBN: 9783540447597</identifier><identifier>DOI: 10.1007/3-540-44759-8_42</identifier><identifier>OCLC: 958560028</identifier><identifier>LCCallNum: TK7885-7895</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Case Tool ; Computer science; control theory; systems ; Decision Table ; Exact sciences and technology ; Expert System ; Graphical Environment ; Information systems. Data bases ; Memory organisation. Data processing ; Relational Database ; Software</subject><ispartof>Database and Expert Systems Applications, 2001, Vol.2113, p.422-431</ispartof><rights>Springer-Verlag Berlin Heidelberg 2001</rights><rights>2002 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3073063-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-44759-8_42$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-44759-8_42$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,779,780,784,789,790,793,4050,4051,27925,38255,41442,42511</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=14044254$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Quirchmayr, Gerald</contributor><contributor>Lazansky, Jiri</contributor><contributor>Mayr, Heinrich C</contributor><contributor>Vogel, Pavel</contributor><contributor>Vogel, Pavel</contributor><contributor>Quirchmayr, Gerald</contributor><contributor>Lazansky, Jiri</contributor><contributor>Mayr, Heinrich C.</contributor><creatorcontrib>Ligęza, Antoni</creatorcontrib><creatorcontrib>Wojnicki, Igor</creatorcontrib><creatorcontrib>Nalepa, Grzegorz J.</creatorcontrib><title>Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems</title><title>Database and Expert Systems Applications</title><description>Tabular Systems constitute a particular form of rule-based systems. They follow the pattern of Relational Databases and Attributive Decision Tables. In Extended Tabular Systems non-atomic values of attributes are allowed. In order to assure safe, reliable and efficient performance of such systems, analysis and verification of selected qualitative properties such as completeness, consistency and determinism should be carried out. However, verification of them after the design of a system is both costly and late. In this paper another solution is proposed. A graphical CASE-like tool supporting the design of Extended Tabular Systems and providing verification possibilities is presented. The tool uses a new rule specification paradigm: the so-called tab-trees, covering the advantages of Attributive Decision Tables and Decision Trees. In the system the verification stage is moved into the design process. The background theory and the idea of tab-trees are outlined and presentation of a practical tool, the Osiris System, is carried out.</description><subject>Applied sciences</subject><subject>Case Tool</subject><subject>Computer science; control theory; systems</subject><subject>Decision Table</subject><subject>Exact sciences and technology</subject><subject>Expert System</subject><subject>Graphical Environment</subject><subject>Information systems. Data bases</subject><subject>Memory organisation. Data processing</subject><subject>Relational Database</subject><subject>Software</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540425274</isbn><isbn>3540425276</isbn><isbn>3540447598</isbn><isbn>9783540447597</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2001</creationdate><recordtype>book_chapter</recordtype><recordid>eNotkLtv2zAQh9kn4qTeO3LpyPTIIymym-G4SQADGaKdoKST7VaWXFIB4v--8uOWA36v4WPsu4R7CVD8RGE0CK0L44ULWn1gtzgpZ8F9ZDNppRSI2n9ic1-4s6eMKvRnNgMEJXyh8SubeeOMBVDuhs1z_gPToVLayBlblLESZSLKv_iCLxevK14OQ8fbIfFxS_yB8m7T86Hlq_eR-oYaPjXeupj46zGPtM_f2Jc2dpnm13_Hyt-rcvkk1i-Pz8vFWhyUdaNwlW29I0JXEEmUTd2gkd76Bqhy4KkyDUAFUlWysNq1aFunvSQLVjnEO_bjMnuIuY5dm2Jf73I4pN0-pmOQJyzK6Cl3f8nlyeo3lEI1DH9zkBBOTAOGiVI4IwwnplMBr8Np-PdGeQx0atTUjyl29TYeRko5IBQIFoP2UxnwP3sAcOQ</recordid><startdate>2001</startdate><enddate>2001</enddate><creator>Ligęza, Antoni</creator><creator>Wojnicki, Igor</creator><creator>Nalepa, Grzegorz J.</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2001</creationdate><title>Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems</title><author>Ligęza, Antoni ; Wojnicki, Igor ; Nalepa, Grzegorz J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p268t-8b6f98ee387ee131dcd351969d0eb809eb5d00b012b17648f36f8491e6062833</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2001</creationdate><topic>Applied sciences</topic><topic>Case Tool</topic><topic>Computer science; control theory; systems</topic><topic>Decision Table</topic><topic>Exact sciences and technology</topic><topic>Expert System</topic><topic>Graphical Environment</topic><topic>Information systems. Data bases</topic><topic>Memory organisation. Data processing</topic><topic>Relational Database</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Ligęza, Antoni</creatorcontrib><creatorcontrib>Wojnicki, Igor</creatorcontrib><creatorcontrib>Nalepa, Grzegorz J.</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Ligęza, Antoni</au><au>Wojnicki, Igor</au><au>Nalepa, Grzegorz J.</au><au>Quirchmayr, Gerald</au><au>Lazansky, Jiri</au><au>Mayr, Heinrich C</au><au>Vogel, Pavel</au><au>Vogel, Pavel</au><au>Quirchmayr, Gerald</au><au>Lazansky, Jiri</au><au>Mayr, Heinrich C.</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems</atitle><btitle>Database and Expert Systems Applications</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2001</date><risdate>2001</risdate><volume>2113</volume><spage>422</spage><epage>431</epage><pages>422-431</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540425274</isbn><isbn>3540425276</isbn><eisbn>3540447598</eisbn><eisbn>9783540447597</eisbn><abstract>Tabular Systems constitute a particular form of rule-based systems. They follow the pattern of Relational Databases and Attributive Decision Tables. In Extended Tabular Systems non-atomic values of attributes are allowed. In order to assure safe, reliable and efficient performance of such systems, analysis and verification of selected qualitative properties such as completeness, consistency and determinism should be carried out. However, verification of them after the design of a system is both costly and late. In this paper another solution is proposed. A graphical CASE-like tool supporting the design of Extended Tabular Systems and providing verification possibilities is presented. The tool uses a new rule specification paradigm: the so-called tab-trees, covering the advantages of Attributive Decision Tables and Decision Trees. In the system the verification stage is moved into the design process. The background theory and the idea of tab-trees are outlined and presentation of a practical tool, the Osiris System, is carried out.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-44759-8_42</doi><oclcid>958560028</oclcid><tpages>10</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Database and Expert Systems Applications, 2001, Vol.2113, p.422-431 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_14044254 |
| source | Springer Books; IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Applied sciences Case Tool Computer science control theory systems Decision Table Exact sciences and technology Expert System Graphical Environment Information systems. Data bases Memory organisation. Data processing Relational Database Software |
| title | Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T05%3A37%3A10IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Tab-Trees:%20A%20CASE%20Tool%20for%20the%20Design%20of%20Extended%20Tabular%20Systems&rft.btitle=Database%20and%20Expert%20Systems%20Applications&rft.au=Lig%C4%99za,%20Antoni&rft.date=2001&rft.volume=2113&rft.spage=422&rft.epage=431&rft.pages=422-431&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540425274&rft.isbn_list=3540425276&rft_id=info:doi/10.1007/3-540-44759-8_42&rft_dat=%3Cproquest_pasca%3EEBC3073063_49_440%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540447598&rft.eisbn_list=9783540447597&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3073063_49_440&rft_id=info:pmid/&rfr_iscdi=true |