Externe Konsistenzbedingungen
Formulierung und Überwachung
dc.contributor.author
Gähler, Felix
dc.date.accessioned
2017-08-30T12:48:17Z
dc.date.available
2017-06-10T18:20:45Z
dc.date.available
2017-08-30T12:48:17Z
dc.date.issued
1987-10
dc.identifier.uri
http://hdl.handle.net/20.500.11850/68455
dc.identifier.doi
10.3929/ethz-a-000534899
dc.description.abstract
Die Ueberwachung der Konsistenz eines Datenbestandes (innere Widerspruchsfreiheit) ist eine wichtige Aufgabe moderner kommerzieller Datenverwaltungssysteme. Die Codierung der meisten Konsistenzprüfungen erfolgt heute manuell in den Anwendungsprogrammen, was aufwendig und fehleranfällig ist. Eine Sprache zur deskriptiven Formulierung von Konsistenzbedingungen ist deshalb ein dringendes Bedürfnis. Dieser Bericht beschreibt eine solche Sprache sowie Verfahren zur automatischen Ueberwachung der damit formulierten Konsistenzbedingungen.
en_US
dc.format
application/pdf
dc.language.iso
de
en_US
dc.publisher
Institut für Informatik, ETH
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
DATABASE MANAGEMENT SYSTEMS (INFORMATION SYSTEMS)
en_US
dc.subject
DATABASE MANAGEMENT + DATABASE ADMINISTRATION (INFORMATION SYSTEMS)
en_US
dc.subject
DATENBANKVERWALTUNGSSYSTEME (INFORMATIONSSYSTEME)
en_US
dc.subject
DATENBANKVERWALTUNG + DATENBANKADMINISTRATION (INFORMATIONSSYSTEME)
en_US
dc.title
Externe Konsistenzbedingungen
en_US
dc.type
Report
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.title.subtitle
Formulierung und Überwachung
en_US
ethz.journal.title
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe Informationssysteme
ethz.journal.volume
83
en_US
ethz.size
45 S.
en_US
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.identifier.nebis
000534899
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:22:05Z
ethz.source
ECOL
ethz.source
ECIT
ethz.identifier.importid
imp593669c8570e673535
ethz.identifier.importid
imp593650b8af50321973
ethz.ecolpid
eth:7102
ethz.ecitpid
pub:108668
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-26T16:03:14Z
ethz.rosetta.lastUpdated
2020-02-15T07:14:45Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Externe%20Konsistenzbedingungen&rft.jtitle=ETH,%20Eidgen%C3%B6ssische%20Technische%20Hochschule%20Z%C3%BCrich,%20Institut%20f%C3%BCr%20Informatik,%20Fachgruppe%20Informationssysteme&rft.date=1987-10&rft.volume=83&rft.au=G%C3%A4hler,%20Felix&rft.genre=report&
Files in this item
Publication type
-
Report [6870]