The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Mit dem Einsatz von DV-Anlagen in öffentlichen und privaten Verwaltungen treten verstärkt Forderungen nach Datenschutz auf. Dieser bedarf zu seiner Verwirklichung der Entwicklung vielfältiger technischer Hilfsmittel zur Zugriffssicherung.Das Gesamtspektrum der notwendigen Maßnahmen zur Zugriffssicherung umfaßt organisatorische Maßnahmen Hardware-Einrichtungen und Software...
This paper is short description of two components of a question-answering system: a logical data structure for a data base and a formal query language. Both components must be understood by a user before he can request information from the system. Together, they define a formal model of an existing or supposed part of the world.
Unter „Generalisierten Datenbankmanagementsystemen (GDBMS)“ werden Programmsysteme zum Aufbau und zur Manipulation von „generalisierten Datenbanken (DB)“ verstanden. Generalisierte Datenbanken enthalten die Datenbestände mehrerer voneinander unabhängiger Benutzer in integrierter Form. Jeder Benutzer darf seinen Datenbestand definieren, ihn in die Datenbank einfügen und verändern oder auf eine beliebige...
A general outline of a structured data base contains a meta data base and its underlying structures. The meta data base should hold interesting facts leading to discoveries of regularities related to other facts that don’t occur isolated but closed connected to each other. This idea is presented in two sections of which the second gives an illustration by an example.
This paper discusses the splitting of files into smaller portions as dictated by the usage pattern in order to improve the data base performance. The feasibility of the splitting is shown. The treatment is within the context of the relational model of data [1].
Communication between program modules is a topic of great interest in the design and production of well structured modular systems. Modutea may be thought of as logical components of the system, designed to carry out some tasks. To complete the description of a system we need to specify the connections between modules, “that are the assumptions which the modules make about each other” [1]. Systems...
Semantics and implementation of cobegin/coend-constructs such as the “concurrent statement” (Dijkstra, Brinch Hansen) are investigated. It is shown that common interpretation of the concurrent statement confuses specification of concurrency and creation of processes. A language feature is proposed which allows for reducing the meaning of “concurrent blocks/compounds” to specification of concurrency...
Das Konzept „Zustandssynchronisation“ sowie das entsprechende Programmier-Hilfsmittel „Schleuse“ werden eingeführt. Mittels Schleusen können die Synchronisationsbedürfnisse kooperierender Prozesse in natürlicher Weise formuliert werden, ohne daß dabei ein einzelner Prozeß auf andere Prozesse explizit Bezug zu nehmen braucht. Dies ermöglicht den modularen Aufbau von Prozeßfamilien. — Die Anwendung...
Unter den verschiedenen Hilfsmitteln zur Darstellung von kollateralen Vorgängen zeichnen sich Petrinetze in zweifacher Weise aus. Zum einen lassen sich mit ihnen häufig auftretende Situationen, wie der gegenseitige Ausschluß (engl.: mutual exclusion) oder das Erzeuger-Verbraucher-Problem, überzeugend einfach darstellen. Zum anderen eignen sie sich besonders für eine formale Behandlung von Fragestellungen...
Fuer das Verstaendnis dieser Ausfuehrungen ist eine gewisse Vertrautheit mit PETRI-Netzen nuetzlich. Die hier vorgestellten P-T-Netze (Puffer-Transaktions-Netze) leiten sich her aus den PETRIschen Stellen-Transitions-Netzen. Es wird hier auf den bekannten Definitionen aufgebaut, aber nicht alle Ergebnisse der Netztheorie sind uebertragbar, da die hier vorgelegte Betrachtung verschiedene Level der...
Mit den in den letzten Jahren entwickelten und ständig weiter verbesserten integrierten Schaltkreisen können heute bereits komplette Zentraleinheiten für Minicomputer mit nur wenigen Chips aufgebaut werden. Es ist weiterhin abzusehen, daß in kurzer Zeit neben Prozessoren auch Halbleiter-Direktzugriffsspeicher ausreichender Kapazität zu einem Preis zur Verfügung stehen werden, der die Realisierung...
Parallel program schemata in the sense of Keller are extended to E-Vschemata. Comparison of Petri-nets and E-V-schemata yields some interesting results.
Ein berechenbarkeitstheoretisches Modell paralleler Prozesse wird untersucht, bei dem die Koordination der laufenden Prozesse nur durch den lokalen Datenverkehr erfolgt. Dabei wird keinerlei Steuerinformation ausgetauscht, sondern nur die zu bearbeitenden Daten und daraus berechneten Resultate. Eine notwendige und hinreichende „Stabilitätsbedingung“ (Einschränkung des Verhaltens der Einzelprozesse)...
In dieser Arbeit werden zwei BASIC-Systeme von unterschiedlicher Struktur in Bezug auf ihre Benutzerfreundlichkeit und Effizienz verglichen. Beide Systeme sind auf der Burroughs B6700 der Fakultät für Informatik an der Universität Karlsruhe implementiert.
Die Deklaration einer Variablen in einem Programm bewirkt bei der Ausführung des Programms auf einer Maschine die Reservierung eines zugeordneten Speicherplatzes, der, ebenso wie die in der Deklaration definierte Datenstruktur,eine teils unmittelbar durch diese, teils durch Eigenschaften der vorliegenden Maschine oder implementierungstechnisch bedingte Struktur trägt. Trotz dieser verschiedenartigen...
Program and data structures may be described formally by using graphs with labelled nodes and edges. The Vienna Definition Language [4] is a well-known example of such a system which uses a special type of graphs, namely trees. Implementing an incremental compiler, we must consider various lists and a lot of references between them in order to allow insertion, deletion, or substitution of increments...
A program in a two-dimensional language is expressed in some diagrammatic, pictorial form, whereas a program in a “normal” language consists of a one-dimensional (linear) string of characters. To put it briefly, in the former case a program is “drawn”, whilst in the latter case it is “written”. A two-dimensional notation has been used or seems to be worthwhile at least in the following areas: 1...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.