Detecting inconsistencies in deductive databases
dc.contributor.author
Wüthrich, Beat
dc.date.accessioned
2017-11-07T10:56:56Z
dc.date.available
2017-06-10T18:33:15Z
dc.date.available
2017-11-07T10:56:56Z
dc.date.issued
1990
dc.identifier.uri
http://hdl.handle.net/20.500.11850/68698
dc.identifier.doi
10.3929/ethz-a-000529251
dc.format
application/pdf
dc.language.iso
en
en_US
dc.publisher
Eidgenössische Technische Hochschule Zürich
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
DEDUCTIVE DATABASES (INFORMATION SYSTEMS)
en_US
dc.subject
DEDUKTIVE DATENBANKEN (INFORMATIONSSYSTEME)
en_US
dc.subject
KORREKTHEIT (THEORIE DER PROGRAMMIERUNG)
en_US
dc.subject
CORRECTNESS (THEORY OF PROGRAMMING)
en_US
dc.title
Detecting inconsistencies in deductive databases
en_US
dc.type
Report
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.journal.title
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme
ethz.journal.volume
123
en_US
ethz.size
36 p.
en_US
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.notes
Technical Reports D-INFK.
en_US
ethz.identifier.nebis
000529251
ethz.publication.place
Zürich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
en_US
ethz.date.deposited
2017-06-10T18:36:44Z
ethz.source
ECOL
ethz.source
ECIT
ethz.identifier.importid
imp593669c8296bb16762
ethz.identifier.importid
imp593650bd40aaf66773
ethz.ecolpid
eth:3213
ethz.ecitpid
pub:109045
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-16T00:33:00Z
ethz.rosetta.lastUpdated
2020-02-15T08:52:36Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Detecting%20inconsistencies%20in%20deductive%20databases&rft.jtitle=ETH,%20Eidgen%C3%B6ssische%20Technische%20Hochschule%20Z%C3%BCrich,%20Departement%20Informatik,%20Institut%20f%C3%BCr%20Computer%20Systeme&rft.date=1990&rft.volume=123&rft.au=W%C3%BCthrich,%20Beat&rft.genre=report&
Files in this item
Publication type
-
Report [6584]