// Query R4:Aggiunta di un nuovo prodotto.
        private void queryR4()
        {
            // Inserimento di PRODOTTO
            PRODOTTO prodotto = new PRODOTTO
            {
                nome = this.textBoxNomeR4.Text,
                CASAPRODUTTRICE = (CASAPRODUTTRICE)this.comboBoxMarchio.SelectedValue,
                prezzo = Convert.ToInt32(this.textBoxPrezzo.Text)
            };
            if (this.radioButtonTubo.Checked == true)
            {
                prodotto.tipoprodotto = "tubo";
            }
            else if (this.radioButtonRubinetto.Checked == true)
            {
                prodotto.tipoprodotto = "rubinetto";
            }
            else if (this.radioButtonRaccordo.Checked == true)
            {
                prodotto.tipoprodotto = "raccordo";
            }

            db.PRODOTTO.InsertOnSubmit(prodotto);
            try
            {
                db.SubmitChanges();
            }
            catch (System.Data.Linq.DuplicateKeyException e)
            {
                db.PRODOTTO.DeleteOnSubmit(prodotto);
                db.SubmitChanges();
                MessageBox.Show("Hai già inserito questo prodotto");
            }
            catch (Exception e)
            {
                db.PRODOTTO.DeleteOnSubmit(prodotto);
                db.SubmitChanges();
                MessageBox.Show(e.GetType().ToString());
            }

            // Inserimento di TUBO o RUBINETTO o RACCORDO
            if (this.radioButtonTubo.Checked == true)
            {
                TUBO tubo = new TUBO
                {
                    IDprodotto = prodotto.IDprodotto,
                    lunghezza = Convert.ToInt32(this.textBoxLunghezza.Text),
                    diametro = Convert.ToInt32(this.textBoxDiametro.Text)
                };
                db.TUBO.InsertOnSubmit(tubo);
                try
                {
                    db.SubmitChanges();
                }
                catch (Exception e)
                {
                    db.TUBO.DeleteOnSubmit(tubo);
                    db.SubmitChanges();
                    MessageBox.Show(e.GetType().ToString());
                }
            }
            else if (this.radioButtonRubinetto.Checked == true)
            {
                RUBINETTO rubinetto = new RUBINETTO
                {
                    IDprodotto = prodotto.IDprodotto,
                    tipo = this.textBoxTipo.Text,
                    descrizione = this.textBoxDescrizioneR4.Text
                };
                db.RUBINETTO.InsertOnSubmit(rubinetto);
                try
                {
                    db.SubmitChanges();
                }
                catch (Exception e)
                {
                    db.RUBINETTO.DeleteOnSubmit(rubinetto);
                    db.SubmitChanges();
                    MessageBox.Show(e.GetType().ToString());
                }
            }
            else if (this.radioButtonRaccordo.Checked == true)
            {
                RACCORDO raccordo = new RACCORDO
                {
                    IDprodotto = prodotto.IDprodotto,
                    tipo = this.textBoxTipo.Text,
                    diametro = Convert.ToInt32(this.textBoxDiametro.Text)
                };
                db.RACCORDO.InsertOnSubmit(raccordo);
                try
                {
                    db.SubmitChanges();
                }
                catch (Exception e)
                {
                    db.RACCORDO.DeleteOnSubmit(raccordo);
                    db.SubmitChanges();
                    MessageBox.Show(e.GetType().ToString());
                }
            }
        }
 partial void UpdateRUBINETTO(RUBINETTO instance);
 partial void DeleteRUBINETTO(RUBINETTO instance);
 partial void InsertRUBINETTO(RUBINETTO instance);