FR2616244B1 - Systeme pour traiter des donnees en utilisant un langage logique - Google Patents

Systeme pour traiter des donnees en utilisant un langage logique

Info

Publication number
FR2616244B1
FR2616244B1 FR8807451A FR8807451A FR2616244B1 FR 2616244 B1 FR2616244 B1 FR 2616244B1 FR 8807451 A FR8807451 A FR 8807451A FR 8807451 A FR8807451 A FR 8807451A FR 2616244 B1 FR2616244 B1 FR 2616244B1
Authority
FR
France
Prior art keywords
processing data
logical language
language
logical
data
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
FR8807451A
Other languages
English (en)
Other versions
FR2616244A1 (fr
Inventor
Kenzo Kobayashi
Michio Sasaki
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Mitsubishi Electric Corp
Original Assignee
Mitsubishi Electric Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority claimed from JP62139338A external-priority patent/JPS63303433A/ja
Priority claimed from JP62184074A external-priority patent/JPS6426937A/ja
Application filed by Mitsubishi Electric Corp filed Critical Mitsubishi Electric Corp
Publication of FR2616244A1 publication Critical patent/FR2616244A1/fr
Application granted granted Critical
Publication of FR2616244B1 publication Critical patent/FR2616244B1/fr
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F13/00—Interconnection of, or transfer of information or other signals between, memories, input/output devices or central processing units
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G06F8/313—Logic programming, e.g. PROLOG programming language
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S707/00—Data processing: database and file management or data structures
    • Y10S707/99931—Database or file accessing
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S707/00—Data processing: database and file management or data structures
    • Y10S707/99951—File or database maintenance
    • Y10S707/99952—Coherency, e.g. same view to multiple users
    • Y10S707/99953—Recoverability

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Computing Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
FR8807451A 1987-06-03 1988-06-03 Systeme pour traiter des donnees en utilisant un langage logique Expired - Fee Related FR2616244B1 (fr)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP62139338A JPS63303433A (ja) 1987-06-03 1987-06-03 論理型言語のデ−タベ−ス方式
JP62184074A JPS6426937A (en) 1987-07-23 1987-07-23 Execution system for logical language

Publications (2)

Publication Number Publication Date
FR2616244A1 FR2616244A1 (fr) 1988-12-09
FR2616244B1 true FR2616244B1 (fr) 1990-12-14

Family

ID=26472176

Family Applications (1)

Application Number Title Priority Date Filing Date
FR8807451A Expired - Fee Related FR2616244B1 (fr) 1987-06-03 1988-06-03 Systeme pour traiter des donnees en utilisant un langage logique

Country Status (3)

Country Link
US (1) US5129081A (fr)
KR (1) KR920002853B1 (fr)
FR (1) FR2616244B1 (fr)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5787432A (en) * 1990-12-06 1998-07-28 Prime Arithmethics, Inc. Method and apparatus for the generation, manipulation and display of data structures
US5615359A (en) * 1994-06-23 1997-03-25 Candle Distributed Solutions, Inc. Data server with data probes employing predicate tests in rule statements
WO1996032685A1 (fr) * 1995-04-11 1996-10-17 Kinetech, Inc. Identification des donnees dans un systeme informatique
US5781703A (en) * 1996-09-06 1998-07-14 Candle Distributed Solutions, Inc. Intelligent remote agent for computer performance monitoring
US6701516B1 (en) * 1998-05-21 2004-03-02 Qifang Li P++ software
US8185576B2 (en) * 2006-03-14 2012-05-22 Altnet, Inc. Filter for a distributed network
US10333696B2 (en) 2015-01-12 2019-06-25 X-Prime, Inc. Systems and methods for implementing an efficient, scalable homomorphic transformation of encrypted data with minimal data expansion and improved processing efficiency

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4648044A (en) * 1984-06-06 1987-03-03 Teknowledge, Inc. Basic expert system tool
US4748439A (en) * 1985-08-13 1988-05-31 Fairchild Semiconductor Corporation Memory apparatus and method for retrieving sequences of symbols including variable elements
US4787035A (en) * 1985-10-17 1988-11-22 Westinghouse Electric Corp. Meta-interpreter
US4774661A (en) * 1985-11-19 1988-09-27 American Telephone And Telegraph Company, At&T Information Systems Database management system with active data dictionary
US4868763A (en) * 1986-02-21 1989-09-19 Hitachi, Ltd. Knowledge-based system having plural processors
US4775934A (en) * 1986-06-17 1988-10-04 Yeda Research And Development Co. Method for concurrent logic program
US4864497A (en) * 1988-04-13 1989-09-05 Digital Equipment Corporation Method of integrating software application programs using an attributive data model database

Also Published As

Publication number Publication date
KR890002772A (ko) 1989-04-11
KR920002853B1 (ko) 1992-04-06
FR2616244A1 (fr) 1988-12-09
US5129081A (en) 1992-07-07

Similar Documents

Publication Publication Date Title
FR2686175B1 (fr) Systeme de traitement de donnees multiprocesseur.
FR2544154B1 (fr) Systeme de transmission des donnees pour des flutes sismiques
EP0320607A3 (en) Multiprocessor system featuring global data duplication
BE883958A (fr) Processeur microprogramme pour un systeme de traitement de donnees rapide
ATE170996T1 (de) Fehlertolerantes datenverarbeitungssystem
BE873220A (fr) Systeme de traitement de donnees, modulaire et a configuration multiple, integre a un systeme de pre-traitement
FR2670084B1 (fr) Systeme de retenue pour un animal.
FR2426937B1 (fr) Systeme de traitement de donnees
EP0425168A3 (en) An information searching system for image data
FR2449311B1 (fr) Systeme de traitement de donnees
FR2497978B1 (fr) Systeme informatique reparti
FR2539896B1 (fr) Systeme de traitement de donnees a entree manuelle
IT1206331B (it) Architettura di sistema di elaborazione dati.
FR2691827B1 (fr) Appareil de traitement de donnees.
FR2636188B1 (fr) Appareil transpondeur radio pour systeme transpondeur
FR2632746B1 (fr) Dispositif de traitement de donnees
FR2456974B1 (fr) Systeme de traitement de donnees
DE3685728D1 (de) Geraet zur bilddatenverarbeitung.
FR2456975B1 (fr) Systeme de traitement de donnees
FR2616244B1 (fr) Systeme pour traiter des donnees en utilisant un langage logique
FR2506952B1 (fr) Systeme pour classer des donnees sismiques dans des prospections marines
FR2535561B3 (fr) Systeme de traitement de signaux video
FR2637708B1 (fr) Dispositif pour le traitement de donnees
FR2382053B1 (fr) Systeme de securite du courant d'alimentation pour systeme de traitement des donnees
FR2342526A1 (fr) Dispositif de transmetteur-recepteur pour systeme de traitement d'information

Legal Events

Date Code Title Description
D6 Patent endorsed licences of rights
ST Notification of lapse