Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1994
|
| Schriftenreihe: | Artificial Intelligence / Künstliche Intelligenz
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Der Begriff "deduktive Datenbank" wurde vor etwa zwanzig Jahren geprägt, um eine neue Forschungsrichtung zu bezeichnen, die sich im Grenzbereich zwischen Künstlicher Intelligenz und Datenbankforschung zu entwickeln begann. Das we sentliche Anliegen der Wissenschaftler, die sich seit. her diesem Thema gewidmet haben, ist die Realisierung effizienter, automatischer Inferenzmethoden, die es er lauben, große Faktenmengen durch einzelne definierende Ausdrücke statt durch explizite Aufzählung darzustellen. Erste Experimente in den späten sechziger und frühen siebziger Jahren mit Kopplungen von automatischen Beweissystemen und Datenbanksystemen können 1 als Ausgangspunkt der Forschungen angesehen werden. Nach einer intensiven Aus einandersetzung mit den theoretischen Grundlagen deduktiver Datenbanken rich tete sich das Forschungsinteresse Mitte der achtziger Jahre zunehmend auf prakti sche Implementierungstechniken, vorwiegend im Kontext des relationalen Datenmo dells. In jüngster Zeit werden regelbasierte Wissensdarstellung und automatische Inferenz von Daten auch im Rahmen anderer Datenmodelle, insbesondere objekt orientierter Systeme, vorgeschlagen und untersucht. In der Künstlichen Intelligenz entwickelte sich ungefähr zur gleichen Zeit die logische Programmierung. Sie basiert ebenfalls auf Methoden zum automatischen Beweisen, die zwischen 1960 und 1970 vorgeschlagen wurden. Die Verwendung von Logik als Programmiersprache zielt auf eine stärker deskriptive und weniger präskriptive Formulierung von Algorithmen. Populär wurde diese Forschungsrich tung in erster Linie durch die starke Verbreitung der Programmiersprache Prolog |
| Beschreibung: | 1 Online-Ressource (XII, 464 S.) |
| ISBN: | 9783663095729 9783528047009 |
| DOI: | 10.1007/978-3-663-09572-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042438613 | ||
| 003 | DE-604 | ||
| 005 | 20150827 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1994 |||| o||u| ||||||ger d | ||
| 020 | |a 9783663095729 |c Online |9 978-3-663-09572-9 | ||
| 020 | |a 9783528047009 |c Print |9 978-3-528-04700-9 | ||
| 024 | 7 | |a 10.1007/978-3-663-09572-9 |2 doi | |
| 035 | |a (OCoLC)860341631 | ||
| 035 | |a (DE-599)BVBBV042438613 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Cremers, Armin B. |d 1946- |e Verfasser |0 (DE-588)120547333 |4 aut | |
| 245 | 1 | 0 | |a Deduktive Datenbanken |b Eine Einführung aus der Sicht der logischen Programmierung |c von Armin B. Cremers, Ulrike Griefahn, Ralf Hinze |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1994 | |
| 300 | |a 1 Online-Ressource (XII, 464 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Artificial Intelligence / Künstliche Intelligenz | |
| 500 | |a Der Begriff "deduktive Datenbank" wurde vor etwa zwanzig Jahren geprägt, um eine neue Forschungsrichtung zu bezeichnen, die sich im Grenzbereich zwischen Künstlicher Intelligenz und Datenbankforschung zu entwickeln begann. Das we sentliche Anliegen der Wissenschaftler, die sich seit. her diesem Thema gewidmet haben, ist die Realisierung effizienter, automatischer Inferenzmethoden, die es er lauben, große Faktenmengen durch einzelne definierende Ausdrücke statt durch explizite Aufzählung darzustellen. Erste Experimente in den späten sechziger und frühen siebziger Jahren mit Kopplungen von automatischen Beweissystemen und Datenbanksystemen können 1 als Ausgangspunkt der Forschungen angesehen werden. Nach einer intensiven Aus einandersetzung mit den theoretischen Grundlagen deduktiver Datenbanken rich tete sich das Forschungsinteresse Mitte der achtziger Jahre zunehmend auf prakti sche Implementierungstechniken, vorwiegend im Kontext des relationalen Datenmo dells. In jüngster Zeit werden regelbasierte Wissensdarstellung und automatische Inferenz von Daten auch im Rahmen anderer Datenmodelle, insbesondere objekt orientierter Systeme, vorgeschlagen und untersucht. In der Künstlichen Intelligenz entwickelte sich ungefähr zur gleichen Zeit die logische Programmierung. Sie basiert ebenfalls auf Methoden zum automatischen Beweisen, die zwischen 1960 und 1970 vorgeschlagen wurden. Die Verwendung von Logik als Programmiersprache zielt auf eine stärker deskriptive und weniger präskriptive Formulierung von Algorithmen. Populär wurde diese Forschungsrich tung in erster Linie durch die starke Verbreitung der Programmiersprache Prolog | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Griefahn, Ulrike |e Sonstige |4 oth | |
| 700 | 1 | |a Hinze, Ralf |d 1965- |e Sonstige |0 (DE-588)1046187147 |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-663-09572-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027873943 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153128681996288 |
|---|---|
| any_adam_object | |
| author | Cremers, Armin B. 1946- |
| author_GND | (DE-588)120547333 (DE-588)1046187147 |
| author_facet | Cremers, Armin B. 1946- |
| author_role | aut |
| author_sort | Cremers, Armin B. 1946- |
| author_variant | a b c ab abc |
| building | Verbundindex |
| bvnumber | BV042438613 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)860341631 (DE-599)BVBBV042438613 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-663-09572-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03659nmm a2200517zc 4500</leader><controlfield tag="001">BV042438613</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150827 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1994 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783663095729</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-663-09572-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528047009</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-04700-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-663-09572-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)860341631</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042438613</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cremers, Armin B.</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120547333</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deduktive Datenbanken</subfield><subfield code="b">Eine Einführung aus der Sicht der logischen Programmierung</subfield><subfield code="c">von Armin B. Cremers, Ulrike Griefahn, Ralf Hinze</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 464 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Artificial Intelligence / Künstliche Intelligenz</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Der Begriff "deduktive Datenbank" wurde vor etwa zwanzig Jahren geprägt, um eine neue Forschungsrichtung zu bezeichnen, die sich im Grenzbereich zwischen Künstlicher Intelligenz und Datenbankforschung zu entwickeln begann. Das we sentliche Anliegen der Wissenschaftler, die sich seit. her diesem Thema gewidmet haben, ist die Realisierung effizienter, automatischer Inferenzmethoden, die es er lauben, große Faktenmengen durch einzelne definierende Ausdrücke statt durch explizite Aufzählung darzustellen. Erste Experimente in den späten sechziger und frühen siebziger Jahren mit Kopplungen von automatischen Beweissystemen und Datenbanksystemen können 1 als Ausgangspunkt der Forschungen angesehen werden. Nach einer intensiven Aus einandersetzung mit den theoretischen Grundlagen deduktiver Datenbanken rich tete sich das Forschungsinteresse Mitte der achtziger Jahre zunehmend auf prakti sche Implementierungstechniken, vorwiegend im Kontext des relationalen Datenmo dells. In jüngster Zeit werden regelbasierte Wissensdarstellung und automatische Inferenz von Daten auch im Rahmen anderer Datenmodelle, insbesondere objekt orientierter Systeme, vorgeschlagen und untersucht. In der Künstlichen Intelligenz entwickelte sich ungefähr zur gleichen Zeit die logische Programmierung. Sie basiert ebenfalls auf Methoden zum automatischen Beweisen, die zwischen 1960 und 1970 vorgeschlagen wurden. Die Verwendung von Logik als Programmiersprache zielt auf eine stärker deskriptive und weniger präskriptive Formulierung von Algorithmen. Populär wurde diese Forschungsrich tung in erster Linie durch die starke Verbreitung der Programmiersprache Prolog</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</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="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Griefahn, Ulrike</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hinze, Ralf</subfield><subfield code="d">1965-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1046187147</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-663-09572-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027873943</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042438613 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:41Z |
| institution | BVB |
| isbn | 9783663095729 9783528047009 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027873943 |
| oclc_num | 860341631 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (XII, 464 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Artificial Intelligence / Künstliche Intelligenz |
| spelling | Cremers, Armin B. 1946- Verfasser (DE-588)120547333 aut Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung von Armin B. Cremers, Ulrike Griefahn, Ralf Hinze Wiesbaden Vieweg+Teubner Verlag 1994 1 Online-Ressource (XII, 464 S.) txt rdacontent c rdamedia cr rdacarrier Artificial Intelligence / Künstliche Intelligenz Der Begriff "deduktive Datenbank" wurde vor etwa zwanzig Jahren geprägt, um eine neue Forschungsrichtung zu bezeichnen, die sich im Grenzbereich zwischen Künstlicher Intelligenz und Datenbankforschung zu entwickeln begann. Das we sentliche Anliegen der Wissenschaftler, die sich seit. her diesem Thema gewidmet haben, ist die Realisierung effizienter, automatischer Inferenzmethoden, die es er lauben, große Faktenmengen durch einzelne definierende Ausdrücke statt durch explizite Aufzählung darzustellen. Erste Experimente in den späten sechziger und frühen siebziger Jahren mit Kopplungen von automatischen Beweissystemen und Datenbanksystemen können 1 als Ausgangspunkt der Forschungen angesehen werden. Nach einer intensiven Aus einandersetzung mit den theoretischen Grundlagen deduktiver Datenbanken rich tete sich das Forschungsinteresse Mitte der achtziger Jahre zunehmend auf prakti sche Implementierungstechniken, vorwiegend im Kontext des relationalen Datenmo dells. In jüngster Zeit werden regelbasierte Wissensdarstellung und automatische Inferenz von Daten auch im Rahmen anderer Datenmodelle, insbesondere objekt orientierter Systeme, vorgeschlagen und untersucht. In der Künstlichen Intelligenz entwickelte sich ungefähr zur gleichen Zeit die logische Programmierung. Sie basiert ebenfalls auf Methoden zum automatischen Beweisen, die zwischen 1960 und 1970 vorgeschlagen wurden. Die Verwendung von Logik als Programmiersprache zielt auf eine stärker deskriptive und weniger präskriptive Formulierung von Algorithmen. Populär wurde diese Forschungsrich tung in erster Linie durch die starke Verbreitung der Programmiersprache Prolog Engineering Engineering, general Ingenieurwissenschaften Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Deduktives Datenbanksystem (DE-588)4258784-0 s Logische Programmierung (DE-588)4195096-3 s 1\p DE-604 Griefahn, Ulrike Sonstige oth Hinze, Ralf 1965- Sonstige (DE-588)1046187147 oth https://doi.org/10.1007/978-3-663-09572-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Cremers, Armin B. 1946- Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung Engineering Engineering, general Ingenieurwissenschaften Deduktives Datenbanksystem (DE-588)4258784-0 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4258784-0 (DE-588)4195096-3 |
| title | Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung |
| title_auth | Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung |
| title_exact_search | Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung |
| title_full | Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung von Armin B. Cremers, Ulrike Griefahn, Ralf Hinze |
| title_fullStr | Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung von Armin B. Cremers, Ulrike Griefahn, Ralf Hinze |
| title_full_unstemmed | Deduktive Datenbanken Eine Einführung aus der Sicht der logischen Programmierung von Armin B. Cremers, Ulrike Griefahn, Ralf Hinze |
| title_short | Deduktive Datenbanken |
| title_sort | deduktive datenbanken eine einfuhrung aus der sicht der logischen programmierung |
| title_sub | Eine Einführung aus der Sicht der logischen Programmierung |
| topic | Engineering Engineering, general Ingenieurwissenschaften Deduktives Datenbanksystem (DE-588)4258784-0 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Deduktives Datenbanksystem Logische Programmierung |
| url | https://doi.org/10.1007/978-3-663-09572-9 |
| work_keys_str_mv | AT cremersarminb deduktivedatenbankeneineeinfuhrungausdersichtderlogischenprogrammierung AT griefahnulrike deduktivedatenbankeneineeinfuhrungausdersichtderlogischenprogrammierung AT hinzeralf deduktivedatenbankeneineeinfuhrungausdersichtderlogischenprogrammierung |