Applications of logic databases:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Boston u.a.
Kluwer
1995
|
| Schriftenreihe: | The Kluwer international series in engineering and computer science
296 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XXIII, 280 S. graph. Darst. |
| ISBN: | 0792395336 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010443907 | ||
| 003 | DE-604 | ||
| 005 | 20050722 | ||
| 007 | t | ||
| 008 | 951024s1995 d||| |||| 00||| eng d | ||
| 020 | |a 0792395336 |9 0-7923-9533-6 | ||
| 035 | |a (OCoLC)31291807 | ||
| 035 | |a (DE-599)BVBBV010443907 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-739 |a DE-188 | ||
| 050 | 0 | |a QA76.9.D3 | |
| 082 | 0 | |a 006.3/3 |2 20 | |
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a DAT 651f |2 stub | ||
| 084 | |a DAT 703f |2 stub | ||
| 245 | 1 | 0 | |a Applications of logic databases |c ed. by Raghu Ramakrishnan |
| 264 | 1 | |a Boston u.a. |b Kluwer |c 1995 | |
| 300 | |a XXIII, 280 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a The Kluwer international series in engineering and computer science |v 296 | |
| 650 | 7 | |a Bases de données orientées objet |2 ram | |
| 650 | 7 | |a CORAL |2 inriac | |
| 650 | 7 | |a Databanken |2 gtt | |
| 650 | 7 | |a Objectgerichte databanken |2 gtt | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 7 | |a PTQ |2 inriac | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a XSB |2 inriac | |
| 650 | 7 | |a analyseur syntaxique |2 inriac | |
| 650 | 7 | |a base donnée déductive |2 inriac | |
| 650 | 7 | |a base donnée logique |2 inriac | |
| 650 | 7 | |a base donnée orientée objet |2 inriac | |
| 650 | 7 | |a base donnée relationnelle |2 inriac | |
| 650 | 7 | |a langage interrogation |2 inriac | |
| 650 | 7 | |a raisonnement spatial |2 inriac | |
| 650 | 4 | |a Database management | |
| 650 | 4 | |a Logic programing | |
| 650 | 0 | 7 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ramakrishnan, Raghu |e Sonstige |4 oth | |
| 830 | 0 | |a The Kluwer international series in engineering and computer science |v 296 |w (DE-604)BV023545171 |9 296 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006960622&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006960622 | ||
Datensatz im Suchindex
| _version_ | 1804124878101544960 |
|---|---|
| adam_text | APPLICATIONS OF LOGIC DATABASES EDITED BY RAGHU RAMAKRISHNAN UNIVERSITY
OF WISCONSIN MADISON, WISCONSIN, USA KLUWER ACADEMIC PUBLISHERS
BOSTON/LONDON/DORDRECHT CONTENTS PREFACE XV REFERENCES XXII 1
APPLICATIONS OF DEDUCTIVE OBJECT-ORIENTED DATABASES USING DEL ORIS D.
FRIESEN, GILLES GAUTHIER-VILLARS, LAURENT VIEILLE 1 1 INTRODUCTION 1 2
ARCHITECTURE AND LANGUAGE - 2 3 DATA MINING 7 4 REGULATORY APPLICATIONS
12 5 CONCURRENT ENGINEERING 17 6 CONCLUSION 21 REFERENCES 22 2 Q-DATA:
USING DEDUCTIVE DATABASE TECHNOLOGY TO IMPROVE DATA QUALITY AMIT SHETH,
CHRISTOPHER WOOD, AND VIPUL KASHYAP 23 1 INTRODUCTION 24 2 RELATED WORK
27 3 EXAMPLE APPLICATION OF DATA VALIDATION AND CLEANUP 27 4 SYSTEM
ARCHITECTURE AND FEATURES 33 5 PRAGMATIC AND ENGINEERING EXPERIENCES 42
6 CONCLUSIONS 53 REFERENCES 55 VI APPLICATIONS OF LOGIC DATABASES 3 A
DEDUCTIVE FRONT-END FOR RELATIONAL DATABASES BRIAN LIVEZEY AND TVANGELOS
BIMOUDIS 1 2 3 4 5 6 7 INTRODUCTION MODEL DEVELOPMENT USING DEDUCTIVE
DATABASES IDEA APPLICATIONS RELATED WORK ONGOING WORK CONCLUSIONS
REFERENCES 57 57 59 60 74 77 78 79 80 AN ADITI IMPLEMENTATION OF A
FLIGHTS DATABASE JAMES HARLAND AND KOTAGIRI RAMAMOHANARAO 83 1
INTRODUCTION 83 2 ADITI 85 3 FLIGHT INFORMATION 88 4 ASSEMBLING A FLIGHT
SCHEDULE 91 5 PERFORMANCE RESULTS 95 6 CONCLUSION 98 REFERENCES 99 USING
CVC++ FOR SPATIO-TEMPORAL REASONING IN ATMOSPHERIC SCIENCE DATABASES
RICHARD R. MUNTZ, EDDIE SHEK, AND CARLO ZANIOLO 101 1 INTRODUCTION 101 2
GEOSCIENCE DATASET 102 3 SYSTEM ARCHITECTURE 105 4 SPATIO-TEMPORAL
QUERIES 107 5 CONCLUSION 116 REFERENCES 117 MIMSY: A SYSTEM FOR STOCK
MARKET ANALYSIS WILLIAM G. ROTH, RAGHU RAMAKRISHNAN AND PRAVEEN SESHADRI
121 1 OVERVIEW 121 2 3 4 5 6 7 8 9 THE LANGUAGE THE TRANSLATOR THE
GRAPHICAL INTERFACE SERIES DATA THE SERVER EXTENSIBILITY CONCLUSION
APPENDIX REFERENCES CONTENTS VII 123 127 131 134 135 137 139 140 141
EFFICIENT EVALUATION OF VISUAL QUERIES USING DEDUCTIVE DATABASES DIMITRA
VISTA AND PETER T. WOOD 143 1 INTRODUCTION 143 2 AN OVERVIEW OF HY + 145
3 THE GRAPHLOG VISUAL QUERY LANGUAGE 147 4 TRANSLATING GRAPHLOG TO
FACTORED DATALOG 152 5 PERFORMANCE COMPARISONS 156 6 CONCLUSIONS 158
REFERENCES * 159 DEMAND INTERPROCEDURAL PROGRAM ANALYSIS USING LOGIC
DATABASES THOMAS W. REPS 163 1 INTRODUCTION 163 2 BACKGROUND AND
ASSUMPTIONS 167 3 INTERPROCEDURAL DATAFLOW ANALYSIS PROBLEMS 168 4
INTERPROCEDURAL SLICING 177 5 PRELIMINARY EXPERIMENTAL RESULTS 187 6
RELATED WORK 189 REFERENCES 192 AMOS: A NATURAL LANGUAGE PARSER
IMPLEMENTED AS A DEDUCTIVE DATABASE IN LOLA GUNTHER SPECHT, BURKHARD
FREITAG 197 1 INTRODUCTION 197 VIII . APPLICATIONS OF LOGIC DATABASES 2
SKETCH OF THE DEDUCTIVE DATABASE SYSTEM LOLA 199 3 GRAMMARS AS LOGIC
PROGRAMS 200 4 THE AMOS PARSING SYSTEM 206 5 AMOS AS A TOOL FOR
LINGUISTIC RESEARCH 212 6 CONCLUSION 214 REFERENCES 214 10 PROGRAMMING
THE PTQ GRAMMAR IN XSB DAVID S. WARREN 111 1 INTRODUCTION 218 2 PTQ
SYNTAX 220 3 PTQ SEMANTICS 225 4 EVALUATION AND STATISTICS 230 5
CONCLUSION 231 REFERENCES 233 11 QUERYING WITH GENERALIZED QUANTIFIERS
ANTONIO BADIA, DIRK VAN GUCHT, AND MARC GYSSENS 235 1 INTRODUCTION 235 2
GENERALIZED QUANTIFIERS 238 3 THE QUERY LANGUAGE QCQQ 245 4 THE
CONJUNCTIVE FORMULATION THESIS 248 5 GENERALIZED QUANTIFIERS IN EXISTING
QUERY LANGUAGES 250 6 CONCLUSION 256 REFERENCES 257 12 REQUIREMENTS FOR
A DEDUCTIVE QUERY LANGUAGE IN A GENOME-MAPPING DATABASE NATHAN GOODMAN,
STEVE ROZEN, AND LINCOLN STEIN 259 1 OVERVIEW AND REQUIREMENTS 259 2
MAPBASE DESIGN 261 3 WHAT WE WANT FROM A QUERY FACILITY 265 4 A
DEDUCTIVE SOLUTION 273 REFERENCES 275 INDEX 279
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010443907 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D3 |
| callnumber-search | QA76.9.D3 |
| callnumber-sort | QA 276.9 D3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 270 |
| classification_tum | DAT 651f DAT 703f |
| ctrlnum | (OCoLC)31291807 (DE-599)BVBBV010443907 |
| dewey-full | 006.3/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/3 |
| dewey-search | 006.3/3 |
| dewey-sort | 16.3 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02273nam a2200601 cb4500</leader><controlfield tag="001">BV010443907</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050722 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951024s1995 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792395336</subfield><subfield code="9">0-7923-9533-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31291807</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010443907</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 651f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applications of logic databases</subfield><subfield code="c">ed. by Raghu Ramakrishnan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston u.a.</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIII, 280 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">296</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bases de données orientées objet</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CORAL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Databanken</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Objectgerichte databanken</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PTQ</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">XSB</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyseur syntaxique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée déductive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée orientée objet</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée relationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage interrogation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement spatial</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ramakrishnan, Raghu</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">296</subfield><subfield code="w">(DE-604)BV023545171</subfield><subfield code="9">296</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006960622&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006960622</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV010443907 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:52:39Z |
| institution | BVB |
| isbn | 0792395336 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006960622 |
| oclc_num | 31291807 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-739 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-739 DE-188 |
| physical | XXIII, 280 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Kluwer |
| record_format | marc |
| series | The Kluwer international series in engineering and computer science |
| series2 | The Kluwer international series in engineering and computer science |
| spelling | Applications of logic databases ed. by Raghu Ramakrishnan Boston u.a. Kluwer 1995 XXIII, 280 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier The Kluwer international series in engineering and computer science 296 Bases de données orientées objet ram CORAL inriac Databanken gtt Objectgerichte databanken gtt PROLOG inriac PTQ inriac Programmation logique ram XSB inriac analyseur syntaxique inriac base donnée déductive inriac base donnée logique inriac base donnée orientée objet inriac base donnée relationnelle inriac langage interrogation inriac raisonnement spatial inriac Database management Logic programing Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Deduktives Datenbanksystem (DE-588)4258784-0 s DE-604 Ramakrishnan, Raghu Sonstige oth The Kluwer international series in engineering and computer science 296 (DE-604)BV023545171 296 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006960622&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Applications of logic databases The Kluwer international series in engineering and computer science Bases de données orientées objet ram CORAL inriac Databanken gtt Objectgerichte databanken gtt PROLOG inriac PTQ inriac Programmation logique ram XSB inriac analyseur syntaxique inriac base donnée déductive inriac base donnée logique inriac base donnée orientée objet inriac base donnée relationnelle inriac langage interrogation inriac raisonnement spatial inriac Database management Logic programing Deduktives Datenbanksystem (DE-588)4258784-0 gnd |
| subject_GND | (DE-588)4258784-0 (DE-588)4143413-4 |
| title | Applications of logic databases |
| title_auth | Applications of logic databases |
| title_exact_search | Applications of logic databases |
| title_full | Applications of logic databases ed. by Raghu Ramakrishnan |
| title_fullStr | Applications of logic databases ed. by Raghu Ramakrishnan |
| title_full_unstemmed | Applications of logic databases ed. by Raghu Ramakrishnan |
| title_short | Applications of logic databases |
| title_sort | applications of logic databases |
| topic | Bases de données orientées objet ram CORAL inriac Databanken gtt Objectgerichte databanken gtt PROLOG inriac PTQ inriac Programmation logique ram XSB inriac analyseur syntaxique inriac base donnée déductive inriac base donnée logique inriac base donnée orientée objet inriac base donnée relationnelle inriac langage interrogation inriac raisonnement spatial inriac Database management Logic programing Deduktives Datenbanksystem (DE-588)4258784-0 gnd |
| topic_facet | Bases de données orientées objet CORAL Databanken Objectgerichte databanken PROLOG PTQ Programmation logique XSB analyseur syntaxique base donnée déductive base donnée logique base donnée orientée objet base donnée relationnelle langage interrogation raisonnement spatial Database management Logic programing Deduktives Datenbanksystem Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006960622&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023545171 |
| work_keys_str_mv | AT ramakrishnanraghu applicationsoflogicdatabases |