Search references for DATABASE THEORY. Phrases containing DATABASE THEORY
See searches and references containing DATABASE THEORY!DATABASE THEORY
Study of database design and use
Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems
Database_theory
Organized collection of data in computing
management Database testing – Testing of database software systems Database theory – Study of database design and use Database-as-IPC – Misusing databases for
Database
Visual representation of database system relationships
enter the database, or those of interest to the possible end-users." The notion of a database schema plays the same role as the notion of theory in predicate
Database_schema
Digital database whose organization is based on the relational model of data
A relational database (RDB) is a database based on the relational model of data, as proposed by E. F. Codd in 1970. A Relational Database Management System
Relational_database
Reduction of data redundancy
Forms in Relational Database Theory". Communications of the ACM. 26 (2): 120–125. doi:10.1145/358024.358054. S2CID 9195704. Database Normalization Basics
Database_normalization
Database that stores information relating to past, present and future time
tracked in this way. In 1992, this issue was recognized but standard database theory was not yet up to resolving this issue, and neither was the then-newly
Temporal_database
Process of deriving classes from, and organizing them into, a hierarchy
Authority control databases GND
Inheritance (object-oriented programming)
Inheritance_(object-oriented_programming)
Type of computer program
databases are document-oriented databases. Database theory Data hierarchy Data analysis Full-text search In-memory database Internet Message Access Protocol
Document-oriented_database
Subfield of database theory
Dependency theory is a subfield of database theory which studies implication and optimization problems related to logical constraints, commonly called
Dependency theory (database theory)
Dependency_theory_(database_theory)
Designing how data is held in a database
Database design is the organization of data according to a database model. The designer determines what data must be stored and how the data elements
Database_design
Data storage paradigm
A key-value database, or key-value store, is a data storage paradigm designed for storing, retrieving, and managing associative arrays, a data structure
Key–value_database
Collaborative compilation of information about the world's time zones
"Theory and pragmatics of the tz code and data". Archived from the original on 5 March 2021. Retrieved 16 December 2020. "Scope of the tz database".
Tz_database
Recovery algorithm
to work with a no-force, steal database approach; it is used by IBM Db2, Microsoft SQL Server and many other database systems. IBM Fellow Chandrasekaran
Algorithms for Recovery and Isolation Exploiting Semantics
Algorithms_for_Recovery_and_Isolation_Exploiting_Semantics
Metadata of database objects
A database catalog of a database instance consists of metadata in which definitions of database objects such as base tables, views (virtual tables), synonyms
Database_catalog
Relational database theory concept
In relational database theory, a functional dependency (FD) is constraint between two attribute sets, whereby values in one set (the determinant set)
Functional_dependency
Software profession
Required skills for database administrators include knowledge of SQL, database queries, database theory, database design, specific databases, such as Oracle
Database_administrator
Breadth of ideas which can be represented in a formal language
structures. Database theory is concerned, among other things, with database queries, e.g. formulas that, given the contents of a database, specify certain
Expressive power (computer science)
Expressive_power_(computer_science)
Record of the table structure and/or the data from a database
A database dump contains a record of the table structure and/or the data from a database and is usually in the form of a list of SQL statements ("SQL dump")
Database_dump
Branch of logic
need a theory of finite structures." Thus the main application areas of finite model theory are: descriptive complexity theory, database theory and formal
Finite_model_theory
Theorem in theoretical computer science
In database theory, the PACELC design principle is an extension to the CAP theorem. It states that in case of network partitioning (P) in a distributed
PACELC_design_principle
Study of computation
of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories
Computer_science
International Conference on Database Theory (ICDT) is an international research conference on foundations of database theory, and has been held since 1986
International Conference on Database Theory
International_Conference_on_Database_Theory
Marker used in SQL databases to indicate a value does not exist
the use of the lowercase Greek omega (ω) symbol to represent null in database theory. In SQL, NULL is a reserved word used to identify this marker. A null
Null_(SQL)
Scientist specializing in computer science
engineering, information theory, database theory, theoretical computer science, numerical analysis, programming language theory, compiler, computer graphics
Computer_scientist
British database researcher (born 1941)
author, lecturer, researcher and consultant, specialising in relational database theory. Chris Date attended High Wycombe Royal Grammar School from 1951 to
Christopher_J._Date
Type of database
An uncertain database is a kind of database studied in database theory. The goal of uncertain databases is to manage information on which there is some
Uncertain_database
Joining of strings in a programming language
Wikifunctions has a concat function. In formal language theory and computer programming, concatenation is the operation of joining sequential objects,
Concatenation
Evolutionary database design involves incremental improvements to the database schema so that it can be continuously updated with changes, reflecting
Evolutionary_database_design
Set of tuples consisting of values indexed by attributes
In database theory, a relation, as originally defined by E. F. Codd, is a set of tuples (d1,d2,...,dn), where each element dj is a member of Dj, a data
Relation_(database)
American computer scientist (1935–2011)
computer scientist, a noted researcher in computational complexity theory and database theory, and a target of the Unabomber. Fischer was born December 3, 1935
Patrick_C._Fischer
List of probabilistic data structures for databases
of the term "probabilistic database" was probably in the 1987 VLDB conference paper "The theory of probabilistic databases", by Cavallo and Pittarelli
Probabilistic_database
Order of execution of transactions in transaction processing
Schedules are fundamental concepts in database concurrency control theory. In practice, most general purpose database systems employ conflict-serializable
Database_transaction_schedule
language (DCL), and a data manipulation language (DML). In relational database theory, the term "sublanguage", first used for this purpose by E. F. Codd
Sublanguage
Expression of a function as the composition of two functions
function decomposition. Also presents methods based on information theory and graph theory. Simon (1963). Systems Engineering Fundamentals (PDF) (Report)
Functional_decomposition
Database for storage and retrieval of triples
A triplestore or RDF store is a purpose-built database for the storage and retrieval of triples through semantic queries. A triple is a data entity composed
Triplestore
Type of database that uses vectors to represent other data
vector database, vector store or vector search engine is a database that stores and retrieves embeddings of data in vector space. Vector databases typically
Vector_database
Determining the answers to a query on a database
In database theory, the query evaluation problem is the problem of determining the answers to a query on a database. Research in database theory aims
Query_evaluation
Online media database
IMDb, formerly known as the Internet Movie Database, is an online database of information related to films, television series, podcasts, video games,
IMDb
American mathematician and computer scientist
IBM Almaden Research Center. He is known for his work in database theory, finite model theory, and reasoning about knowledge. Ron Fagin was born and grew
Ronald_Fagin
Database stored query result set
In a database, a view is the result set of a stored query that presents a limited perspective of the database to a user. This pre-established query command
View_(SQL)
Theory of relational databases
In database theory, relational algebra is a theory that uses algebraic structures for modeling data and defining queries on it with well founded semantics
Relational_algebra
Type of data model
sparse matrix. EAV is also known as object–attribute–value model, vertical database model, and open schema. This data representation is analogous to space-efficient
Entity–attribute–value_model
Need to sacrifice consistency or availability in the presence of network partitions
In database theory, the CAP theorem, also named Brewer's theorem after computer scientist Eric Brewer, states that any distributed data store can provide
CAP_theorem
The problem of database repair is a question about relational databases which has been studied in database theory, and which is a particular kind of data
Database_repair
Israeli mathematician and computer scientist
on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification
Moshe_Vardi
Logical formulation of recursion
development has been motivated by descriptive complexity theory and their relationship to database query languages, in particular to Datalog. Least fixed-point
Fixed-point_logic
Data management group
The ACM Symposium on Principles of Database Systems (PODS) is an international research conference on database theory, and has been held yearly since 1982
SIGMOD
American computer scientist
December 5, 2004) was an American pioneer of automata theory, formal language theory, and database theory, in particular; and computer science, in general
Seymour_Ginsburg
Chinese-British computer scientist
management at the University of Edinburgh. His research investigates database theory and database systems. Fan was educated at Peking University (BS, MS) and the
Wenfei_Fan
The Yannakakis algorithm is an algorithm in database theory for evaluating acyclic join queries (more generally, (alpha-)acyclic conjunctive queries,
Yannakakis_algorithm
Overview of and topical guide to databases
format. History of databases – History of database management systems –: Database usage requirements – Database theory – encapsulates a broad range of topics
Outline_of_databases
Computer language used to make queries into databases and information systems
language or database query language (DQL), is a computer language used to make queries in databases and information systems. In database systems, query
Query_language
regular path queries, such as query containment and query rewriting. Database theory research has investigated more expressive variants of RPQs: Two-way
Regular_path_query
(OKVS) is a type of data storage paradigm that can support multi-model databases. An OKVS is an ordered mapping of bytes to bytes. An OKVS will keep the
Ordered_key–value_store
Method of media consumption
works based on existing characters and also cites Azuma's theory of character moe and database consumption as their theoretical background to ensure criticality
Database_consumption
Conference on Conceptual Modeling ICDT - International Conference on Database Theory ICIS - International Conference on Information Systems ISWC - International
List of computer science conferences
List_of_computer_science_conferences
In database theory, the analytical base table or analytic base table (ABT) is a flat table that is used for building analytical models and scoring (predicting)
Analytical_base_table
Database operation that restores a previous state
In database technologies, a rollback is an operation which returns the database to some previous state. Rollbacks are important for database integrity
Rollback_(data_management)
Topics referred to by the same term
Innoson Vehicle Manufacturing, in Nigeria Incremental view maintenance in database theory and database systems IVM Podcasts, a podcasting company in India.
IVM
German mathematician and computer scientist
complexity, mathematical logic, finite model theory, the logic of graphs, database theory, descriptive complexity theory, and graph neural networks. He is a University
Martin_Grohe
Values that a data element may contain
In database theory, a data domain is the collection of values that a data element may contain. The rule for determining the domain boundary may be as
Data_domain
In database theory and knowledge representation, the certain answers is the set of answers to a given query consisting of the intersection of all the
Certain_answer
Database using graph structures for queries
decade, cloud-based graph databases such as Amazon Neptune and Neo4j AuraDB became available. Based on graph theory, graph databases store data in a way that
Graph_database
Assumption that what is not known to be true is false
(1) when the knowledge base is known to be complete (e.g., a corporate database containing records for every employee), and (2) when the knowledge base
Closed-world_assumption
Level of database normalization
in Relational Database Theory". Communications of the ACM. 26 (2): 120–126. doi:10.1145/358024.358054. Litt's Tips: Normalization Database Normalization
Third_normal_form
Area of mathematical logic
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing
Model_theory
Last letter of the Greek alphabet
notation, the asymptotically dominant nature of functions In relational database theory to represent NULL, a missing or inapplicable value In APL, to represent
Omega
Relational database design
Codd, a pioneer of the relational model for databases, designed to define what is required from a database management system in order for it to be considered
Codd's_12_rules
Multi-dimensional data structure
cubes may be stored in database management systems (DBMS) as part of array DBMS. Spatio-temporal databases and geospatial databases may also be represented
Data_cube
American computer scientist
popularly known as the dragon book), theory of computation (also known as the Cinderella book), data structures, and databases are regarded as standards in their
Jeffrey_Ullman
In relational database theory, an equality-generating dependency (EGD) is a certain kind of constraint on data. It is a subclass of the class of embedded
Equality-generating dependency
Equality-generating_dependency
Italian computer scientist
is known for his research in database theory and for founding the annual conference SEBD (Symposium on Advanced Database Systems) in 1993, serving as
Domenico_Saccà
British computer scientist
is a British computer scientist who works in the areas of database systems and database theory. Buneman was educated at the University of Cambridge, where
Peter_Buneman
Theorem of expressive equivalence between relational languages
pp. 65–98. ISBN 0-13-196741-X. Pichler, Reinhard (March 20, 2018). "Database Theory: 3. Codd's Theorem" (PDF). Institute of Logic and Computation, DBAI
Codd's_theorem
Database system
deductive database is a database system that can make deductions (i.e. conclude additional facts) based on rules and facts stored in its database. Datalog
Deductive_database
Greek-American computer scientist
complexity theory, database theory, computer aided verification and testing, and algorithmic graph theory. Among his contributions to complexity theory are two
Mihalis_Yannakakis
Unit of work performed within a database management system
A database transaction symbolizes a unit of work, performed within a database management system (or similar system) against a database, that is treated
Database_transaction
Shelah and Jonathan Stavi). In database theory, the first undecidability result of the consequence problem for database dependencies (with Ashok Chandra
Johann_Makowsky
Type of database query
In database theory, a conjunctive query is a restricted form of first-order queries using the logical conjunction operator. Many first-order queries can
Conjunctive_query
Level of database normalization
Forms in Relational Database Theory". Communications of the ACM. 26 (2): 120–125. doi:10.1145/358024.358054. An Introduction to Database Normalization by
Second_normal_form
application-specific automation features. This is in database theory known as "replication", and good mobile database system should provide tools for automatic replication
Mobile_database
In relational database theory, a tuple-generating dependency (TGD) is a certain kind of constraint on a relational database. It is a subclass of the class
Tuple-generating_dependency
French computer scientist
computer scientist working in the areas of data management, database theory, and finite model theory. The son of two hardware store owners, Abiteboul attended
Serge_Abiteboul
Topics referred to by the same term
exactly one bit or digit to the left of the radix point Database normalization, used in database theory Dimensional normalization, or snowflaking, removal
Normalization
Philanthropy conception of meaning
definitions of meaning: psychological theories, involving notions of thought, intention, or understanding; logical theories, involving notions such as intension
Meaning_(philosophy)
Topics referred to by the same term
server, a form of disk storage File system, in computer science and database theory Flipnote Studio, a DSi animation software Forward secrecy, a property
FS
Model of computation used in databases
computer systems through the lens of database relations. This model extends the transducer model in formal language theory. They were first introduced in 1998
Relational_transducer
Japanese media theory
Narrative consumption was a large influence on Hiroki Azuma's theory of otaku and database consumption. Narrative consumption involves the relationship
Narrative_consumption
Database management system
underlying data store. The traditional theory of relations is not enough to accurately describe multi-model database systems. Recent research is focused
Multi-model_database
Set of questions in relational database theory
management describes a branch and set of research questions in relational database theory that aim to reverse the common focus of standard data management. Instead
Reverse_data_management
Function of managing and maintaining DBMS software
Database administration is the function of managing and maintaining database management systems (DBMS) software. Mainstream DBMS software such as Oracle
Database_administration
Topics referred to by the same term
function to its scope Relational database model: Set-theoretic formulation and Armstrong's axioms for its use in database theory Closure (mathematics), the
Closure
inheritance in a relational database. When mapping from a database table to an object in an object-oriented language, a field in the database identifies what class
Single_Table_Inheritance
tacitly included in Database Management Systems (e.g. SQL) in his 1984 article "Towards a logical reconstruction of relational database theory" (in M. L. Brodie
Unique_name_assumption
On linear-time algorithms for graph logic
Courcelle's theorem have also been applied to database theory, knowledge representation and reasoning, automata theory, and model checking. Eger, Steffen (2008)
Courcelle's_theorem
Kaufmann Publishers. ISBN 1-55860-647-5. Karge, R. (July 2003). Unified Database Theory (PDF document). The 7th World Multi-Conference on SYSTEMICS, CYBERNETICS
Terminology-oriented_database
Level of database normalization
Means". Date on Database: Writings 2000–2006. Apress. ISBN 978-1-4842-2029-0. Date, C. J. (6 November 2015). SQL and Relational Theory: How to Write Accurate
First_normal_form
Full constraint between two sets of attributes in a relation
In database theory, a multivalued dependency is a full constraint between two sets of attributes in a relation. In contrast to the functional dependency
Multivalued_dependency
Topics referred to by the same term
element in such a pair Cover, in database theory, an equivalent set of constraints Covering system in number theory is a finite set of residue classes
Cover
English academic and writer about computers
of Warwick. ———————— (January 2009), An Introduction to Relational Database Theory (3rd ed.), BookBoon, ISBN 978-87-7681-500-4, 231 pp. ———————— (November
Hugh_Darwen
DATABASE THEORY
DATABASE THEORY
Surname or Lastname
English
English : unexplained. It may be a variant of a medieval name, Preville, a habitational name from a Norman place named with the elements pré ‘meadow’ + ville ‘settlement’. However, this theory is not supported by evidence of early forms.
Girl/Female
German
Mighty with a spear. Note: 'This Database is Copyright Muse Creations Inc. 2000'.
Girl/Female
Native American
Power of the moon Note: 'This Database is Copyright Muse Creations Inc. 2000'.
Biblical
Look for pages within Wikipedia that link to this title
If a page was recently created here it may not be visible yet because of a delay in updating the database; wait a few minutes or try the function.
Look for pages within Wikipedia that link to this title
Boy/Male
Latin
Yearning; sorrow. Abbreviation of Desiderus.Note: This Database is Copyright Dogwood Technical...
Surname or Lastname
English, Scottish, and Irish (of Norman origin)
English, Scottish, and Irish (of Norman origin) : of disputed origin. It may be from a Celtic personal name derived from the element cam ‘bent’, ‘crooked’ (compare Cameron and Campbell). This was relatively frequent in Norfolk, Lincolnshire, and Yorkshire in the 12th and 13th centuries, perhaps as a result of Breton immigration. According to another theory it is a habitational name from Comines near Lille, but there is no evidence for this (no early forms with de have been found). In southern Ireland this Anglo-Norman name has been confused with 2.Irish : Anglicized form of Gaelic Mac CuimÃn (or Ó CuimÃn) ‘son (or ‘descendant’) of CuimÃn’, a personal name formed from a diminutive of cam ‘crooked’.Americanized form of French Canadian Vien, Viens, based on the misconception that these derive from French venire ‘to come’.
Girl/Female
German
Bright angel Note: 'This Database is Copyright Muse Creations Inc. 2000'.
Surname or Lastname
English
English : according to Reaney this is a nickname from an unattested Old English word cybbe meaning ‘clumsy’ or ‘thickset’. Reaney’s speculation is apparently based on taking the Middle English word kibble ‘cudgel’ as a diminutive of an unattested Old English word. Corresponding personal names have been postulated for the place names Kibworth (‘enclosure of a man called Cybba’) and Kibblesworth (‘enclosure of a man called Cybbel’); so, in theory, the surname could be a reflex of these Old English personal names.North German : nickname for a cantankerous person, from Middle Low German, Middle High German kiven ‘to quarrel’.
Girl/Female
English
Adventurous. Note: This Database is Copyright 2000, Muse Creations Inc.
Boy/Male
Spanish
Conqueror. Note: This Database is Copyright 2000, Muse Creations Inc.
Surname or Lastname
English and Scottish
English and Scottish : topographic name for someone who lived by a patch of wet ground overgrown with brushwood, northern Middle English kerr (Old Norse kjarr). A legend grew up that the Kerrs were left-handed, on theory that the name is derived from Gaelic cearr ‘wrong-handed’, ‘left-handed’.Irish : see Carr.This surname has also absorbed examples of German Kehr.
Girl/Female
Russian
crowned with laurels. Note: 'This Database is Copyright Muse Creations Inc. 2000'.
Boy/Male
English
English surnames related to Bradley: broad clearing in the wood. Note: This Database is Copyright...
Girl/Female
English
which is a . Note: 'This Database is Copyright Muse Creations Inc. 2000'.
Girl/Female
Polish
Christian. Note: 'This Database is Copyright Muse Creations Inc. 2000'.
Surname or Lastname
English (mainly Gloucestershire), Dutch, and German (also Türk)
English (mainly Gloucestershire), Dutch, and German (also Türk) : from Middle English, Old French turc, Middle High and Low German Turc ‘Turk’, from Turkish türk. In theory this could be an ethnic name but, both in England and northwest Europe, it is generally a nickname for a person with black hair and a swarthy complexion or a cruel, rowdy, or unruly person. The Dutch and German surname also represents a house name, derived from the use of a picture of a Turk as a house sign. It is also found as a nickname for someone who had taken part in the wars against the Turks.English : from a medieval personal name, a back-formation from Turkel, misanalyzed as containing the Old French diminutive suffix -el.Scottish : reduced Anglicized form of Gaelic Mac Tuirc, a patronymic from the byname Torc ‘boar’.Jewish (Ashkenazic) : ethnic name denoting someone from Turkey or anywhere in the Ottoman Empire, or a nickname for someone thought to resemble a Turk.Americanized form of the Greek ethnic name Tourkos ‘Turk’. See also Turco.
Surname or Lastname
English
English : from a short form of the personal names Giles, Julian, or William. In theory the name would have a soft initial when derived from the first two of these, and a hard one when from William or from the other possibilities discussed in 2–4 below. However, there has been much confusion over the centuries.Northern English : topographic name for someone who lived by a ravine or deep glen, Middle English gil(l), Old Norse gil ‘ravine’.Scottish and Irish : reduced Anglicized form of Gaelic Mac Gille (Scottish), Mac Giolla (Irish), patronymics from an occupational name for a servant or a short form of the various personal names formed by attaching this element to the name of a saint. See McGill. The Old Norse personal name Gilli is probably of this origin, and may lie behind some examples of the name in northern England.Scottish and Irish : reduced Anglicized form of Gaelic Mac An Ghoill (see Gall 1).Norwegian : habitational name from any of three farmsteads in western Norway named Gil, from Old Norse gil ‘ravine’.Dutch : cognate of Giles.Jewish (Israeli) : ornamental name from Hebrew gil ‘joy’.German : from a vernacular short form of the medieval personal name Aegidius (see Gilger).Indian (Panjab) : Sikh name, probably from Panjabi gil ‘moisture’, also meaning ‘prosperity’. There is a Jat tribe that bears this name; the Ramgarhia Sikhs also have a clan called Gill.
DATABASE THEORY
DATABASE THEORY
Male
Swiss
, of the sea.
Male
English
Variant spelling of English Tyrrell, possibly TYRELL means "stubborn."
Girl/Female
Indian
Knowledgable person
Boy/Male
German, Teutonic
Form of Roger; Famous Spear
Girl/Female
British, English
Rule with Mercy
Girl/Female
Indian, Telugu, Traditional
Alert; Nice; Traditional
Girl/Female
Tamil
Trilokya | தà¯à®°à¯€à®²à¯‹à®•à¯à®¯à®¾Â
Girl/Female
Greek
Moon.
Girl/Female
Muslim
Beautiful, White
Girl/Female
Tamil
Anindini | அநீநà¯à®¤à¯€à®¨à¯€
Full of goodwill
DATABASE THEORY
DATABASE THEORY
DATABASE THEORY
DATABASE THEORY
DATABASE THEORY
n.
One who advocates the undulatory theory of light.
n.
Same as Tetrahedrite.
n.
An exposition of the general or abstract principles of any science; as, the theory of music.
n.
A greenish spotted porphyry, being a diabase whose pyroxene has been altered to uralite; -- first found in the Pyreness. So called from the colored spots which give it a mottled appearance.
a.
Having a slender elongated form, like a lath; -- said of the feldspar of certain igneous rocks, as diabase, as seen in microscopic sections.
n.
The science, as distinguished from the art; as, the theory and practice of medicine.
n.
A sulphide of antimony and copper, with small quantities of other metals. It is a very common ore of copper, and some varieties yield a considerable presentage of silver. Called also gray copper ore, fahlore, and panabase.
n.
A believer in the theory of vitalism; -- opposed to physicist.
n.
A kind of diorite or diabase containing imbedded whitish spherules, which give the rock a spotted appearance.
a.
That may be dated; having a known or ascertainable date.
n.
A name formerly applied rather loosely to certain dark-colored igneous rocks, including diorite, diabase, etc.
v. t.
To be at the basis of; to form the foundation of; to support; as, a doctrine underlying a theory.
a.
Pertaining to, or involving, vitalism, or the theory of a special vital principle.
n.
A greenish chloritic mineral common in certain igneous rocks, as diabase, as a result of alternation.
n.
A basic, dark-colored, holocrystalline, igneous rock, consisting essentially of a triclinic feldspar and pyroxene with magnetic iron; -- often limited to rocks pretertiary in age. It includes part of what was early called greenstone.
n.
The theory or practice of living upon vegetables and fruits.
n.
The change of one species into another, which is assumed to take place in any development theory of life; transformism.
n.
The philosophical explanation of phenomena, either physical or moral; as, Lavoisier's theory of combustion; Adam Smith's theory of moral sentiments.
n.
A supposed collection of particles of very subtile matter, endowed with a rapid rotary motion around an axis which was also the axis of a sun or a planet. Descartes attempted to account for the formation of the universe, and the movements of the bodies composing it, by a theory of vortices.
a.
Of or pertaining to volcanoes; specifically, relating to the geological theory of the Vulcanists, or Plutonists.