omitir hasta el contenido
Logic, algebra, and databases Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Logic, algebra, and databases

Autor: Peter M D Gray
Editorial: Chichester, West Sussex, England : E. Horwood ; New York : Distributor, Halsted Press, 1984.
Serie: Computers and their applications, 29.
Edición/Formato:   Print book : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Formato físico adicional: Online version:
Gray, Peter M.D., 1940-
Logic, algebra, and databases.
Chichester, West Sussex, England : E. Horwood ; New York : Distributor, Halsted Press, 1984
(OCoLC)567943912
Tipo de documento: Libro/Texto
Todos autores / colaboradores: Peter M D Gray
ISBN: 0470201037 9780470201039 0853128030 9780853128038 9780853127093 0853127093 0135394120 9780135394120 0470202599 9780470202593
Número OCLC: 10912465
Descripción: 294 pages : illustrations ; 25 cm.
Contenido: The propositional calculus --
The predicate calculus --
Lambada Expressions and list processing --
Representing programs by clauses: prolog --
Representing programs in functional notation --
The relational model --
Calculus-based languages --
Relational algebra: an applicative language --
Query transformation in algebra and calculus --
The functional data model --
The CODASYL DBTG database --
Functional query languages of CODASYL databases --
Appendix I. Relations for the World Cup database --
Appendix II. ASTRID relational algebra syntax --
Appendix III. Bachman diagram and IDS-II schema DDL for the World Cup database --
Appendix IV. Syntax for SQL --
Appendix V. Daplex syntax.
Título de la serie: Computers and their applications, 29.
Responsabilidad: Peter M.D. Gray.

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Todas las etiquetas de usuarios (2)

Ver etiquetas más populares como: lista de etiquetas | nube de etiquetas

  • ai  (por 1 persona)
  • jds  (por 1 persona)
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


Primary Entity

<http://www.worldcat.org/oclc/10912465> # Logic, algebra, and databases
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "10912465" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2988293#Place/chichester_west_sussex_england> ; # Chichester, West Sussex, England
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/organisation> ; # Organisation
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/codasyl> ; # CODASYL
   schema:about <http://id.worldcat.org/fast/1078876> ; # Prolog (Computer program language)
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Thing/machine_readable_files> ; # Machine-readable files
   schema:about <http://id.worldcat.org/fast/804885> ; # Algebra
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://dewey.info/class/001.642/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_mathematique> ; # logique mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/calcul_propositionnel> ; # calcul propositionnel
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/modele_relationnel> ; # modèle relationnel
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/base_donnee> ; # base donnée
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/sgbd> ; # SGBD
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/algebre_relation> ; # algèbre relation
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/langage_base_donnee> ; # langage base donnée
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/programmation_en_logique> ; # programmation en logique
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/langage_interrogation> ; # langage interrogation
   schema:about <http://id.worldcat.org/fast/888037> ; # Database management
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/algebre> ; # Algèbre
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/prolog_langage_de_programmation> ; # Prolog (Langage de programmation)
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/prolog> ; # PROLOG
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/bases_de_donnees_gestion> ; # Bases de données--Gestion
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/calcul_predicat> ; # calcul prédicat
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/datenbanksystem> ; # Datenbanksystem
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/traitement_liste> ; # traitement liste
   schema:about <http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_symbolique> ; # logique symbolique
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/104657094> ; # Peter M. D. Gray
   schema:datePublished "1984" ;
   schema:description "The propositional calculus -- The predicate calculus -- Lambada Expressions and list processing -- Representing programs by clauses: prolog -- Representing programs in functional notation -- The relational model -- Calculus-based languages -- Relational algebra: an applicative language -- Query transformation in algebra and calculus -- The functional data model -- The CODASYL DBTG database -- Functional query languages of CODASYL databases -- Appendix I. Relations for the World Cup database -- Appendix II. ASTRID relational algebra syntax -- Appendix III. Bachman diagram and IDS-II schema DDL for the World Cup database -- Appendix IV. Syntax for SQL -- Appendix V. Daplex syntax."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2988293> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2988293#Series/computers_and_their_applications> ; # Computers and their applications ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/567943912> ;
   schema:name "Logic, algebra, and databases"@en ;
   schema:productID "10912465" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/10912465#PublicationEvent/chichester_west_sussex_england_e_horwood_new_york_distributor_halsted_press_1984> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2988293#Agent/distributor_halsted_press> ; # Distributor, Halsted Press
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2988293#Agent/e_horwood> ; # E. Horwood
   schema:workExample <http://worldcat.org/isbn/9780470201039> ;
   schema:workExample <http://worldcat.org/isbn/9780135394120> ;
   schema:workExample <http://worldcat.org/isbn/9780470202593> ;
   schema:workExample <http://worldcat.org/isbn/9780853127093> ;
   schema:workExample <http://worldcat.org/isbn/9780853128038> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8423235> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/10912465> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Agent/distributor_halsted_press> # Distributor, Halsted Press
    a bgn:Agent ;
   schema:name "Distributor, Halsted Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Place/chichester_west_sussex_england> # Chichester, West Sussex, England
    a schema:Place ;
   schema:name "Chichester, West Sussex, England" ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Series/computers_and_their_applications> # Computers and their applications ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/10912465> ; # Logic, algebra, and databases
   schema:name "Computers and their applications ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Thing/machine_readable_files> # Machine-readable files
    a schema:Thing ;
   schema:name "Machine-readable files" ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/algebre_relation> # algèbre relation
    a schema:Intangible ;
   schema:name "algèbre relation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/bases_de_donnees_gestion> # Bases de données--Gestion
    a schema:Intangible ;
   schema:name "Bases de données--Gestion"@en ;
   schema:name "Bases de données--Gestion"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/calcul_propositionnel> # calcul propositionnel
    a schema:Intangible ;
   schema:name "calcul propositionnel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/langage_base_donnee> # langage base donnée
    a schema:Intangible ;
   schema:name "langage base donnée"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/langage_interrogation> # langage interrogation
    a schema:Intangible ;
   schema:name "langage interrogation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
   schema:name "logique mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_symbolique> # logique symbolique
    a schema:Intangible ;
   schema:name "logique symbolique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/modele_relationnel> # modèle relationnel
    a schema:Intangible ;
   schema:name "modèle relationnel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
   schema:name "programmation en logique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
   schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2988293#Topic/prolog_langage_de_programmation> # Prolog (Langage de programmation)
    a schema:Intangible ;
   schema:name "Prolog (Langage de programmation)"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1078876> # Prolog (Computer program language)
    a schema:Intangible ;
   schema:name "Prolog (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/804885> # Algebra
    a schema:Intangible ;
   schema:name "Algebra"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://id.worldcat.org/fast/888037> # Database management
    a schema:Intangible ;
   schema:name "Database management"@en ;
    .

<http://viaf.org/viaf/104657094> # Peter M. D. Gray
    a schema:Person ;
   schema:birthDate "1940" ;
   schema:familyName "Gray" ;
   schema:givenName "Peter M. D." ;
   schema:name "Peter M. D. Gray" ;
    .

<http://worldcat.org/isbn/9780135394120>
    a schema:ProductModel ;
   schema:isbn "0135394120" ;
   schema:isbn "9780135394120" ;
    .

<http://worldcat.org/isbn/9780470201039>
    a schema:ProductModel ;
   schema:isbn "0470201037" ;
   schema:isbn "9780470201039" ;
    .

<http://worldcat.org/isbn/9780470202593>
    a schema:ProductModel ;
   schema:isbn "0470202599" ;
   schema:isbn "9780470202593" ;
    .

<http://worldcat.org/isbn/9780853127093>
    a schema:ProductModel ;
   schema:isbn "0853127093" ;
   schema:isbn "9780853127093" ;
    .

<http://worldcat.org/isbn/9780853128038>
    a schema:ProductModel ;
   schema:isbn "0853128030" ;
   schema:isbn "9780853128038" ;
    .

<http://www.worldcat.org/oclc/567943912>
    a schema:CreativeWork ;
   rdfs:label "Logic, algebra, and databases." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/10912465> ; # Logic, algebra, and databases
    .


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.