Computerassisted Query Formulation Alvin Cheung Armando Solarlezama PDF Download
Computerassisted Query Formulation Alvin Cheung Armando Solarlezama PDF Download
https://ebookbell.com/product/computerassisted-query-formulation-
alvin-cheung-armando-solarlezama-57526902
https://ebookbell.com/product/computerassisted-language-learning-
concepts-methodologies-tools-and-applications-4-volume-set-management-
association-47605128
Computer Assisted Research On The Bible In The 21st Century Luis Vegas
Montaner
https://ebookbell.com/product/computer-assisted-research-on-the-bible-
in-the-21st-century-luis-vegas-montaner-49450366
Computer Assisted Research On The Bible In The 21st Century Luis Vegas
Montaner Guadalupe Seijas De Los Roszarzosa Javier Del Barco Editors
https://ebookbell.com/product/computer-assisted-research-on-the-bible-
in-the-21st-century-luis-vegas-montaner-guadalupe-seijas-de-los-
roszarzosa-javier-del-barco-editors-50343254
https://ebookbell.com/product/computer-assisted-music-and-dramatics-
possibilities-and-challenges-ambuja-salgaonkar-50591942
Computerassisted Language Learning Learners Teachers And Tools 1st
Edition Jeongbae Son
https://ebookbell.com/product/computerassisted-language-learning-
learners-teachers-and-tools-1st-edition-jeongbae-son-51307738
https://ebookbell.com/product/computerassisted-literary-translation-
andrew-rothwell-andy-way-56821570
https://ebookbell.com/product/computer-assisted-optimization-of-
cardiac-resynchronization-therapy-raz-miri-4099286
https://ebookbell.com/product/computer-assisted-exercises-and-
training-a-reference-guide-erdal-ayirci-4302292
https://ebookbell.com/product/computer-assisted-assessment-research-
into-eassessment-international-conference-caa-2014-zeist-the-
netherlands-june-30-july-1-2014-proceedings-1st-edition-marco-
kalz-4697446
Foundations and Trends® in Programming Languages
Vol. 3, No. 1 (2016) 1–94
© 2016 A. Cheung and A. Solar-Lezama
DOI: 10.1561/2500000018
1 Introduction 2
2 Query Processing 5
2.1 Relational DBMS and Query Languages . . . . . . . . . . 5
2.2 DBMS as a library . . . . . . . . . . . . . . . . . . . . . . 6
2.3 The ORM approach . . . . . . . . . . . . . . . . . . . . . 7
2.4 Query Execution . . . . . . . . . . . . . . . . . . . . . . . 8
3 Program Synthesis 13
3.1 The Problem . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2 Deductive Synthesis . . . . . . . . . . . . . . . . . . . . . 14
3.3 Inductive Synthesis . . . . . . . . . . . . . . . . . . . . . 15
ii
iii
References 87
Abstract
2
3
5
6 Query Processing
the libraries, and the libraries would return them to the application
after serializing the results into data structures such as lists or arrays
of primitive types.
On the one hand, connector libraries greatly ease DBMS develop-
ment as they cleanly abstract away the application; the DBMS can pro-
cess queries as if they were issued by end-users through the command-
line interface. Unfortunately, this comes at a cost for the application
developer. First, as applications are usually written using a general-
purpose language, developers need to learn a new language in order to
express their persistent data needs. Worse yet, embedding query state-
ments as raw strings in the application makes debugging difficult; the
raw strings are not parsed or type-checked by the application compiler,
so errors in the queries only become apparent at execution time. Not
only that, embedding raw query strings in application code is often the
source of various security vulnerabilities such as SQL injection.
York, 49, 171, 177, 190, 191, 252, 254, 262-265, 268, 269, 273-
275, 279, 282-285
—— church of, 335, 385
—— kingdom of, 7
Footnotes
3. From the Handbook of the Coins of Great Britain and Ireland in British
Museum.
10. See Plummer, Life and Times of Alfred the Great, 67.
15. The main features of Norman society in the eleventh century are
described in outline by Pollock and Maitland, History of English Law, i.,
chapter iii., on which the following sketch is founded.
18. See Histoire Général de France, Les Premiers Capetiens, p. 90; also
Sœhnée, Catalogue des Actes d’Henri Ier No. 38.
19. See Bohmer’s Kirche und Staat in England und in der Normandie, 20.
21. See the lives of Earls Eric and Eglaf in the notes to the Crawford
Charters, No. xii.
23. The most recent discussion in detail of this episode is that of Plummer,
Two Saxon Chronicles, ii. Freeman’s attempt to clear Godwine of complicity
was marked by a very arbitrary treatment of the contemporary authorities.
26. This is the duty of “hospitium,” exemption from which was frequently
granted in Anglo-Norman charters.
28. See the map of the earldoms in 1066 given by Freeman, Norman
Conquest, ii.
29. In the next generation there was a tradition that Gospatric had been
murdered by Queen Edith on her brother’s behalf, Florence of Worcester,
1065.
31. In addition to the future Conqueror one other child was born to Robert
and Arlette—a daughter named Adeliz, who married Count Enguerrand of
Ponthieu; and after Robert’s death Arlette herself became the lawful wife of a
Norman knight named Herlwin of Conteville, whose two sons, Odo, bishop of
Bayeux, and Robert, count of Mortain, play a considerable part in the
succeeding history.
35. This grant rests solely on the authority of Ordericus Vitalis, but it is
accepted by Flach, Les origines de l’ancienne France, 528–530.
38. Among contemporaries who made the journey may be mentioned Count
Fulk Nerra of Anjou and Archbishop Ealdred of York.
41. Gesta Regum, ii., 285. “Normannia fiscus regalis erat.” Henry of
Huntingdon, 189.
47. This is asserted very strongly by Freeman, ii., 201, and is implied by
Luchaire, Les Premières Capétiens, 163.
48. The whole story of the duke’s ride from Valognes to Falaise rests upon
the sole authority of Wace, and is only given here as a matter of tradition.
51. Ordericus Vitalis (iii., 342) makes a pointed reference to the length of
time occupied by the present siege in comparison with the capture of Brionne
in a single day by Robert of Normandy in 1090. But it is impossible to accept
his statement that the resistance of Guy of Burgundy was protracted for three
years.
52. William of Poitiers, 81: “Bella domestica apud nos in longum sopivit.”
54. This rests on no better authority than Wace. We know with more
certainty that the lands which Grimbald forfeited were bestowed by William
upon the See of Bayeux, of which Odo, the duke’s brother, became bishop in
1048.—Eng. Hist. Rev., xxii., 644.
61. William of Jumièges, vii., 18. The duke’s oath is given by Wace: Roman
de Rou, 9468.
79. See The Laws of Breteuil, by Miss M. Bateson, Eng. Hist. Rev., xx.
83. William of Jumièges, vii., 28. The battle of Varaville led to the king’s
retreat, but a sporadic war lasted till 1060. It is probable that Norman
chroniclers have attached more importance to the battle than it really
possessed.
85. The history of Maine at this period has recently been discussed by
Flach, Les origines de l’ancienne France, vol. iii., p. 543–9.
86. The native Mancel authorities have little to say about the war of 1063,
the course of which is described by William of Poitiers, 103 et seq.
90. William of Poitiers (109–112) is the sole authority for this war and he
gives no dates. He definitely asserts the presence of Harold and his
companions in the Norman army, and his narrative contains nothing
irreconcilable with the relevant scenes in the Bayeux tapestry. The war was
probably intended to enforce Norman suzerainty over Brittany, and the rising
of Rhiwallon of Dol probably gave William his opportunity. De la Borderie,
Histoire de Bretagne, iii., p. [missing].
91. The canons of Chartres celebrated his obit on December 11th, a fact
which discounts the story in William of Jumièges that Conan was poisoned by
an adherent of William. If William had wished to remove Conan the latter
would certainly have died before William had sailed for England.
92. The scheme of policy which Green (Conquest of England, 522–524, ed.
1883) founded in relation to their marriage rests upon this assumption.
95. Worcester Chronicle, 1042: “All the people chose Edward and received
him for King, as it belonged to him by right of birth.”
106. The list followed here is that printed by Giles as an appendix to the
Brevis Relatio. Scriptores, p. 21.
107. Guy of Amiens, 34: “Appulus et Caluber, Siculus quibus jacula fervet.”
117. This episode forms the last entry in the Abingdon version of the
Chronicle, and it is described in a northern dialect.
126. Guy of Amiens: “Diruta quae fuerant dudum castella reformas; Ponis
custodes ut tueantur ea.”
130. William’s real numbers probably lay between six and seven thousand.
131. See the paraphrase of this passage in the Roman de Rou, Freeman, N.
C., iii., 417.
132. Guy of Amiens, p. 31: “Ex Anglis unus, latitans sub rupe marina Cemit
ut effusas innumeras acies. Scandere currit equum; festinat dicere regi.”
133. Gaimar, l’Estoire des Engles, R. S., i., p. 222. Gaimar wrote in the
twelfth century, but he followed a lost copy of the A.-S. chronicle.
135. Worcester Chronicle, 1066: “He com him togenes at thœre haran
apuldran.”
137. Spatz, p. 30, will only allow to William a total force of six to seven
thousand men.
138. W. P., 133. “Cuncti pedites consistere densius conglobati.” For the
arrangement of the English army on the hill see Baring, E. H. R., xx., 65.
140. This fact, which must condition any account to be given of the battle
of Hastings, was first stated by Dr. W. Spatz, “Die Schlacht von Hastings,”
section v., “Taktik beider Heere,” p. 34.
141. This point is brought out strongly by Oman, History of the Art of War.
142. Spatz, p. 29, uses this fact to limit the numbers of the Norman army.
144. Guy of Amiens: “Lævam Galli, dextram petiere Britanni. Dux cum
Normannis dimicat in medio.”
146. Florence of Worcester, 1066: “Ab hora tamen diei tertia usque ad
noctis crepusculum.”
147. Guy of Amiens. W. P., 133: “Cedit fere cuncta Ducis acies.”
149. Bayeux tapestry scene: “Hic Odo episcopus, baculum tenens, confortat
pueros.”
159. See the Waltham tract, De Inventione Sancti Crucis, ed. Stubbs.
William of Malmesbury was evidently acquainted with this legend.
160. It is probable that Wulfnoth had been taken together with Harold by
Guy of Ponthieu, and had been left behind in Normandy as a surety for the
observance of his brother’s oath to William.
162. Thomas Stubbs, ed. Raine; Historians of the Church of York, R. S., ii.,
100.
179. This writ was issued in favour of one Regenbald, who had been King
Edward’s chancellor. It was printed by Round in Feudal England, 422, with
remarks on its historical importance.
180. Monasticon, i., 383. See also Round, Commune of London, 29.
181. Monasticon, i., 301. The date assigned here to these documents, of
which the text in the Monasticon edition is very faulty, is a matter of
inference; but the personal names which occur in them suggest that they
should be assigned to the very beginning of William’s reign.
184. Peterborough Chronicle, 1066. “And menn guldon him gyld ... and
sithan heora land bohtan.”—D. B., ii., 360. “Hanc Terram habet abbas ...
quando redimebant Anglici terras suas.” The combination of these statements
led Freeman to make the suggestion referred to in the text.
185. It may be noted that there exist a few proved cases in which a
Norman baron had married the daughter of his English predecessor, so that
here the king’s grant to the stranger would only confirm the latter in
possession of his wife’s inheritance.
190. Ordericus Vitalis, ii., 167. The mercenaries were paid off at Pevensey
before William sailed for Normandy.
192. William of Poitiers (149) states that William Fitz Osbern was left in
charge of the city “Guenta,” which is described as being situated fourteen
miles from the sea which divides the English from the Danes, and as a point
where a Danish army might be likely to land. These indications imply that
Norwich (Venta Icenorum) was Fitz Osbern’s headquarters, although the
name Guenta alone would naturally refer to Winchester (Venta Belgarum).
The joint regency of Odo and William is asserted by Florence of Worcester,
1067, and the phrase in William of Poitiers, that Fitz Osbern “toto regno
Aquilionem versus præesset,” suggests that the Thames was the boundary
between his province and that of Odo. The priority of Fitz Osbern in the
regency is suggested by the fact that in a writ relating to land in Somerset, he
joins his name with that of the king in addressing the magnates of the shire.
Somersetshire certainly formed no part of his direct sphere of administration
at the time. For further references to this writ see below, Chapter XI.
196. Simeon of Durham, under the year 1072. He asserts that Oswulf
himself slew Copsige in the door of the church.
200. The fullest account of the affair at Dover is given by Orderic (ii., 172–
5), who expands the slighter narrative of William of Poitiers.
203. “Ad Danos, vel alio, unde auxilium aliquod speratur, legatos
missitant.”—William of Poitiers, 157.
208. The rising of Edwin and Morcar is not mentioned by the English
authorities, which are only concerned with the movements of Edgar and his
companions. Florence of Worcester says that the latter fled the court through
the fear of imprisonment. They had given no known cause of offence since
their original submission, but it is probable that they would have been kept in
close restraint if they had been in the king’s power when the northern revolt
broke out and that they fled to avoid this.
212. Ordericus Vitalis, ii., 188. From his statement that Earl William beat the
rebels “in a certain valley,” it is evident that the military operations were not
confined to the city of York.
214. For the events of 1069 Orderic is almost the sole authority, and his
narrative is not always easy to follow. On the other hand he is doubtless in
great part following the contemporary William of Poitiers, and his tale is quite
consistent with itself if due allowance is made for its geographical confusion.
215. The exact scene of Waltheof’s exploit is uncertain. Orderic implies that
the entire Norman garrison in York perished in the unsuccessful sally. Florence
of Worcester states that the castles were taken by storm. The latter is
certainly the more probable, and agrees better with the tradition, preserved
by William of Malmesbury, of the slaughter at the gate. The gate in question,
on this reading of the story, will belong to one of the castles; it cannot well be
taken to be one of the gates of the town.
217. Ordericus’ narrative at this point is not very clear, but this is probably
his meaning.
220. Chester castle was planted within arrow shot of the landing stage on
the right bank of the Dee, and also commanded the bridge which carried the
road from the Cheshire plain to the North Wales coast.
221. Peterborough Chronicle, 1069.
225. The passages which follow are founded on the narrative of Hugh
“Candidus,” a monk of Peterborough, who in the reign of Henry II. wrote an
account of the possessions of the abbey, and inserts a long passage
descriptive of the events of 1070. The beginning of his narrative agrees
closely with the contemporary account in the Peterborough Chronicle, but his
tale of the doings of the Danes in Ely after the sack of Peterborough is
independent, and bears every mark of truth. Wherever it is possible to test
Hugh’s work, in regard to other matters, its accuracy is confirmed. See Feudal
England, 163, V.C.H. Notts, i., 222. Hugh’s Chronicle has not been printed
since its edition by Sparke in the seventeenth century.
226. Ordericus Vitalis, ii., 216. The death of Edwin formed the conclusion of
the narrative of William of Poitiers as Orderic possessed it.
236. Halphen, Comté d’Anjou, 180, has shown that Azo had appeared in
Maine by the spring of 1069.
237. The authorities for the present war are the history of Ordericus Vitalis
and the life of Bishop Arnold of Le Mans, ed. Mabillon; Vetera Analecta.
246. This third flight of Edgar to Scotland rests solely upon the authority of
Simeon of Durham, and it is quite possible that the latter may have been
confused about the course of events at this point.
252. According to Wace Ralf had served among the Breton auxiliaries at the
battle of Hastings.
258. It does not appear that any medieval historian regarded this as an act
of treachery on Waltheof’s part.
259. F. N. C., iv., 585.
261. This point is made by Pollock and Maitland. H. E. L., i., 291.
262. For the rest of the Conqueror’s reign, there was peace between
Normandy and Brittany, except that in 1086 William, to whom the new count
Alan Fergant, the son of Hoel, had refused homage, crossed the border once
more and laid siege to Dol. In this siege also he was unsuccessful, and
speedily came to terms with Alan, who received Constance, the Conqueror’s
daughter, in marriage.
266. Charter of King Philip to St. Quentin, Gallia Christ; X. Inst. 247. Among
the witnesses are Anselm of Bec, and Ives de Beaumont, the father-in-law of
Hugh de Grentemaisnil.
274. For all these events Simeon of Durham is the authority giving most
detail.
277. Mon. Angl., vii., 993, from an “inspeximus” of 31 Ed. I. The charter in
question is dated “apud villam Dontonam,” which in the index to the volume
of Patent Rolls is identified with Downton, Wilts. William, at Downton, may
very well have been on his way to one of the Hampshire or Dorset ports.
278. iii., 168. On the other hand, Giesbrecht (iii., 531) has suggested that a
political difference was the occasion of the quarrel between Odo and William,
the former wishing to take up arms for Gregory VII., while the latter was on
friendly terms with the emperor. But Gregory himself in a letter addressed to
William (Register, viii., 60), while reproving his correspondent for lack of
respect towards his brother’s orders, admits that Odo had committed some
political offence against the king. As to the nature of that offence, we have no
contemporary statement, nor do we know how far Gregory may have
possessed accurate information as to the motives which induced William’s
action.
283. The severity of the devastation should not be exaggerated, for in 1086
Lincolnshire, Norfolk, and Suffolk were the most prosperous parts of England.
284. Cnut’s preparations and death are described at length in his life by
Ethelnoth, printed in the Scriptores Rerum Danicarum.
290. Stubbs, Select Charters, 85. The writ in question probably belongs to
the year 1075.
296. Easter, 1069: King William; Matilda, the Queen; Richard, the King’s
son; Stigand, archbishop of Canterbury; Ealdred, archbishop of York; William,
bishop of London; Ethelric, bishop of Selsey; Herman, bishop of Thetford;
Giso, bishop of Wells; Leofric, bishop of Exeter; Odo, bishop of Bayeux;
Geoffrey, bishop of Coutances; Baldwin, bishop of Evreux; Arnold, bishop of
Le Mans; Count Robert (of Mortain), Earl William Fitz Osbern, Count Robert of
Eu, Earl Ralf (of Norfolk?), Brian of Penthievre, Fulk de Alnou, Henry de
Ferrers; Hugh de Montfort, Richard the son of Count Gilbert, Roger d’ Ivri,
Hamon the Steward, Robert, Hamon’s brother.—Tardif, Archives de l’Empire,
179.
Christmas, 1077: King William; Lanfranc, archbishop of Canterbury;
Thomas, archbishop of York; Odo, bishop of Bayeux; Hugh, bishop of London;
Walkelin, bishop of Winchester; Remi, bishop of Lincoln; Maurice, the
chancellor; Vitalis, abbot of Westminster; Scotland, abbot of Ch. Ch.,
Canterbury; Baldwin, abbot of St. Edmunds; Simeon, abbot of Ely; Aelfwine,
abbot of Ramsey; Serlo, abbot of Gloucester; Earl Roger of Montgomery, Earl
Hugh of Chester, Count Robert of Mortain, Count Alan of Richmond, Earl
Aubrey of Northumbria, Hugh de Montfort, Henry de Ferrers, Walter Giffard,
Robert d’ Oilli, Hamon the Steward, Wulfstan, bishop of Worcester.—Ramsey
Chartulary, R. S., ii., 91.
Easter, 1080: King William; Matilda the Queen; Robert, the king’s son;
William, the king’s son; William, archbishop of Rouen; Richard, archbishop of
Bourges; Warmund, archbishop of Vienne; Geoffrey, bishop of Coutances;
Gilbert, bishop of Lisieux; Count Robert, the king’s brother; Count Roger of
Eu, Count Guy of Ponthieu, Roger de Beaumont, Robert and Henry, his sons,
Roger de Montgomery, Walter Giffard, William d’ Arques.—Calendar of
Documents Preserved in France, ed. J. H. Round, No. 78.
318. There is some evidence to suggest that the lord of a vill could cause a
court to be held there by his steward. This, however, is the result of
seignorial, not communal, ideas.
319. Round, Feudal England, 225–314, has given the clearest account of
the introduction and development of knight service in England.
320. Feudal England, as quoted above, page 447. See also Morris, Welsh
Wars of Edward, i., 36, arguing for a total of 5000.
326. The fact that the assessment of southern and western England was
based upon a conventional unit of five hides was first enunciated by Mr. J. H.
Round in Feudal England.
329. For the “six-carucate unit” see Feudal England, 69. Victoria Histories,
Derby, Notts, Leicester, and Lincoln.
332. This was the view of Professor Maitland, Domesday Book and Beyond,
24.
336. The former view is that of Mr. Round, the latter that of Professor
Maitland.
337. We also know that the returns were checked in each county by a
second set of commissioners who were deliberately sent by the king into
shires where they possessed no personal interest.—E. H. R., xxii., 72.
G. P. PUTNAM’S SONS
Complete Catalogues sent
on application
1 ‘Rollo’
11 William I.
111 Richard I.
1111 Richard II. m. Judith of Brittany
11111 Richard III.
111111 Nicholas, abbot of St Ouen
11112 Robert I.
111121 William II.
1111211 Robert II.
111122 Adeliz → (Table C)
11113 Adeliz m. Reginal, count of Burgundian Palatinate
111131 Guy of Brionne
11114 Malger, archbishop of Rouen
11115 William, count of Arques
1112 Robert, archbishop of Rouen
11121 Ralf de Wacy
1113 Malger count of Mortain
11131 William ‘the Warling’
1114 William, count of Eu
11141 Robert, count of Eu
11142 William, ‘Busac’
11143 Hugh, bishop of Lisieux
1115 Mahaut = Odo II of Blois
1116 Emma = Ethelred II.
11161 Alfred the Etheling
11162 Edward the Confessor
1117 Hawise = Geoffrey I. of Brittany →(Table B)
Transcription of Table B
The Counts of Brittany TABLE B
Transcription of Table C
The Descendents of Arlette TABLE C
1 Arlette
m. Robert of Normandy
11 William
12 Adeliz m. Enguerrand, count of Ponthieu
121 Adeliz m. Eudes, count of Champagne
1211 Stephen, count of Aumâl (claimant for England, 1095)
122 Judith m. Waltheof, earl of Northampton
1221 Maud m David I. king of Scots
m. Herlwin de Conteville
13 Odo, bishop of Bayeux
14 Robert, count of Mortain
15 Muriel
Transcription of Table D
Welcome to our website – the perfect destination for book lovers and
knowledge seekers. We believe that every book holds a new world,
offering opportunities for learning, discovery, and personal growth.
That’s why we are dedicated to bringing you a diverse collection of
books, ranging from classic literature and specialized publications to
self-development guides and children's books.
ebookbell.com